Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Aspects of Security

  • E-Book (pdf)
  • 246 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Formal Aspects of Securit... Weiterlesen
CHF 80.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich


This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Formal Aspects of Security, FASec 2002, held in London, UK, in December 2002. The 11 revised full papers presented together with 7 invited contributions were carefully reviewed, selected, and improved for inclusion in the book. The papers are organized in topical sections on protocol verification, analysis of protocols, security modelling and reasoning, and intrusion detection systems and liveness.


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.


Titel: Formal Aspects of Security
Untertitel: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
EAN: 9783540409816
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: Datenkommunikation, Netzwerke
Veröffentlichung: 15.12.2003
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 246

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"