Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science, 2171, Band 2171) - Softcover

Gorrieri, Roberto; Focardi, Riccardo

 
9783540428961: Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science, 2171, Band 2171)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.