Foundations of Security Analysis and Design Tutorial Lectures /
Foundations of Security Analysis and Design Tutorial Lectures / [electronic resource] :
edited by Riccardo Focardi, Roberto Gorrieri.
- 1st ed. 2001.
- VII, 405 p. online resource.
- Lecture Notes in Computer Science, 2171 1611-3349 ; .
- Lecture Notes in Computer Science, 2171 .
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.
9783540456087
10.1007/3-540-45608-2 doi
Data protection.
Cryptography.
Data encryption (Computer science).
Operating systems (Computers).
Computer networks .
Computers and civilization.
Compilers (Computer programs).
Data and Information Security.
Cryptology.
Operating Systems.
Computer Communication Networks.
Computers and Society.
Compilers and Interpreters.
QA76.9.A25
005.8
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.
9783540456087
10.1007/3-540-45608-2 doi
Data protection.
Cryptography.
Data encryption (Computer science).
Operating systems (Computers).
Computer networks .
Computers and civilization.
Compilers (Computer programs).
Data and Information Security.
Cryptology.
Operating Systems.
Computer Communication Networks.
Computers and Society.
Compilers and Interpreters.
QA76.9.A25
005.8