Foundations of Security Analysis and Design IV

Volume 4677 of the series Lecture Notes in Computer Science pp 1-23

Security Protocols: Principles and Calculi

Tutorial Notes
  • Martín AbadiAffiliated withMicrosoft Research, and University of California, Santa Cruz

* Final gross prices may vary according to local VAT.

Get Access


This paper is a basic introduction to some of the main themes in the design and analysis of security protocols. It includes a brief explanation of the principles of protocol design and of a formalism for protocol analysis. It is intended as a written counterpart to a tutorial given at the 2006 International School on Foundations of Security Analysis and Design.