Formal aspects of security : First international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
2629 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal aspects of security, First international conference, FASec 2002, London, UK, December 16-18, 2002, revised papers, Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.), Berlin, Springer, 2003, 1 vol. (X-238 p.), Lecture notes in computer science, 3-540-20693-0 • Formal Aspects of Security, Texte imprimé, 9783662196083 |
Sisällysluettelo:
- 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.