Foundations of Security Analysis and Design: Tutorial Lectures [Paperback]

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.Includes supplementary material: sn.pub/extras