Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Aspects of Security
  • Produktbild: Formal Aspects of Security
Band 2629

Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2003

Herausgeber

Ali E. Abdallah + weitere

Verlag

Springer Berlin

Seitenzahl

246

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20693-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2003

Herausgeber

Verlag

Springer Berlin

Seitenzahl

246

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

394 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20693-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Aspects of Security
  • Produktbild: Formal Aspects of Security
  • 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.