1 option
Foundations of Security Analysis and Design : Tutorial Lectures / edited by Riccardo Focardi, Roberto Gorrieri.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2171.
- Lecture Notes in Computer Science, 0302-9743 ; 2171
- Language:
- English
- Subjects (All):
- Computer security.
- Data encryption (Computer science).
- Operating systems (Computers).
- Computer networks.
- Computers and civilization.
- Programming languages (Electronic computers).
- Systems and Data Security.
- Cryptology.
- Operating Systems.
- Computer Communication Networks.
- Computers and Society.
- Programming Languages, Compilers, Interpreters.
- Local Subjects:
- Systems and Data Security.
- Cryptology.
- Operating Systems.
- Computer Communication Networks.
- Computers and Society.
- Programming Languages, Compilers, Interpreters.
- Physical Description:
- 1 online resource (VII, 405 pages).
- Edition:
- First edition 2001.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45608-7
- 9783540456087
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.