Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Security Protocols: Principles and Calculi Tutorial Notes
 

Summary: Security Protocols: Principles and Calculi
Tutorial Notes
Mart´in Abadi
Microsoft Research
and
University of California, Santa Cruz
Abstract. 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 in-
tended as a written counterpart to a tutorial given at the 2006 International School
on Foundations of Security Analysis and Design.
1 Introduction
Over the last 30 years, work on security protocols has led to a number of ideas and
techniques for protocol design, to a number of protocol implementations, and also to
many attacks. Gradually, it has also led to mature techniques for analyzing protocols,
and to an understanding of how to develop more robust protocols that address a range
of security concerns.
These notes are based on a tutorial on security protocols given at the 2006 Inter-
national School on Foundations of Security Analysis and Design. The tutorial was an
introduction to the following topics:

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences