Verification of security protocols

Cryptographic protocols aim at securing communications over insecure networks like the Internet. Over the past decades, numerous decision procedures and tools have been developed to automatically analyse the security of protocols. The field has now reached a good level of maturity with efficient techniques for the automatic security analysis of protocols. In this tutorial, after an overview of some famous protocols and flaws, we will explain how to formally model protocols and security properties and we will describe associated decision procedures.

Authors

• Veronique Cortier

Keywords

No keywords are indexed for this paper.