1 option
Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers / edited by Ali E. Abdallah, Peter Ryan, Steve Schneider.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2629.
- Lecture Notes in Computer Science, 0302-9743 ; 2629
- Language:
- English
- Subjects (All):
- Computer networks.
- Data encryption (Computer science).
- Software engineering.
- Operating systems (Computers).
- Computers and civilization.
- Management information systems.
- Computer science.
- Computer Communication Networks.
- Cryptology.
- Software Engineering.
- Operating Systems.
- Computers and Society.
- Management of Computing and Information Systems.
- Local Subjects:
- Computer Communication Networks.
- Cryptology.
- Software Engineering.
- Operating Systems.
- Computers and Society.
- Management of Computing and Information Systems.
- Physical Description:
- 1 online resource (X, 246 pages).
- Edition:
- First edition 2003.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
- System Details:
- text file PDF
- Contents:
- Keynote Talk
- Lifting Reference Monitors from the Kernel
- Invited Talks I
- Authenticity Types for Cryptographic Protocols
- Verifying the SET Protocol: Overview
- Protocol Verification
- Interacting State Machines: A Stateful Approach to Proving Security
- Automatic Approximation for the Verification of Cryptographic Protocols
- Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis
- Invited Talks II
- Critical Critical Systems
- Analysing Security Protocols
- Analysis of Protocols
- Analysis of Probabilistic Contract Signing
- Security Analysis of (Un-) Fair Non-repudiation Protocols
- Modeling Adversaries in a Logic for Security Protocol Analysis
- Security Modelling and Reasonning
- Secure Self-certified Code for Java
- Z Styles for Security Properties and Modern User Interfaces
- Invited Talks III
- Cryptographic Challenges: The Past and the Future
- TAPS: The Last Few Slides
- Intrusion Detection Systems and Liveness
- Formal Specification for Fast Automatic IDS Training
- Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area
- Revisiting Liveness Properties in the Context of Secure Systems.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-40981-6
- 9783540409816
- 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.