Security and Security Protocols
These lectures are an introduction to computer and network security with an emphasis on security protocols. They include a brief overview of security problems, models, and mechanisms, and in particular access control and authentication. Authentication in distributed systems is one of the main motivations for security protocols. The lectures present some principles for the design of these protocols and a formal calculus for their analysis, the applied pi calculus.
References
