Abdallah / Ryan / Schneider | Formal Aspects of Security | E-Book | sack.de
E-Book

E-Book, Englisch, Band 2629, 246 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Abdallah / Ryan / Schneider Formal Aspects of Security

First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Erscheinungsjahr 2003
ISBN: 978-3-540-40981-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

E-Book, Englisch, Band 2629, 246 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-40981-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Abdallah / Ryan / Schneider Formal Aspects of Security jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Abdallah, Ali E.
Ryan, Peter
Schneider, Steve

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.