Foundations of Security Analysis and Design Tutorial Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Focardi, Riccardo (Editor, http://id.loc.gov/vocabulary/relators/edt), Gorrieri, Roberto (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Computer Science, 2171
• Subjects: Computer security.; Data encryption (Computer science).; Operating systems (Computers).; Computer communication systems.; Computers and civilization.; Programming languages (Electronic computers).; Systems and Data Security.; Cryptology.; Operating Systems.; Computer Communication Networks.; Computers and Society.; Programming Languages, Compilers, Interpreters.

Table of Contents:

• Mathematical Models of Computer Security
• The Logic of Authentication Protocols
• Access Control: Policies, Models, and Mechanisms
• Security Goals: Packet Trajectories and Strand Spaces
• Notes on Nominal Calculi for Security and Mobility
• Classification of Security Properties.