Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures /
Material type: TextSeries: Lecture Notes in Computer Science ; 2171Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001Edition: 1st ed. 2001Description: VII, 405 p. online resourceContent type:- text
- computer
- online resource
- 9783540456087
- 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
- 005.8 23
- QA76.9.A25
Contents:
In:
Springer Nature eBook
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.
No physical items for this record
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.
There are no comments on this title.