A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
Foundations and Trends® in Programming Languages
Security protocols are distributed programs that aim at securing communications by the means of cryptography. They are for instance used to secure electronic payments, home banking and more recently electronic elections. Given the financial and societal impact in case of failure, and the long history of design flaws in such protocols, formal verification is a necessity. A major difference from other safety critical systems is that the properties of security protocols must hold in the presencedoi:10.1561/2500000001 fatcat:wzzskipj3zeczkge42wiimt7ja