Foundations of Security Analysis and Design
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Mathematical Models of Computer Security
-
Altmetric BadgeChapter 2 The Logic of Authentication Protocols
-
Altmetric BadgeChapter 3 Access Control: Policies, Models, and Mechanisms
-
Altmetric BadgeChapter 4 Security Goals: Packet Trajectories and Strand Spaces
-
Altmetric BadgeChapter 5 Notes on Nominal Calculi for Security and Mobility
-
Altmetric BadgeChapter 6 Classification of Security Properties