Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures /
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.
Saved in:
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2001
|
Subjects: | Computer science., Computer communication systems., Programming languages (Electronic computers)., Operating systems (Computers)., Computer security., Data encryption (Computer science)., Computers and civilization., Computer Science., Systems and Data Security., Data Encryption., Operating Systems., Computer Communication Networks., Computers and Society., Programming Languages, Compilers, Interpreters., |
Online Access: | http://dx.doi.org/10.1007/3-540-45608-2 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|