+612 9045 4394
 
CHECKOUT
Formal Aspects of Security : First International Conference, FASec 2002: London, UK, December 16-18, 2002: Revised Papers :  First International Conference, FASec 2002: London, UK, December 16-18, 2002: Revised Papers - Ali E. Abdallah

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

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

By: Ali E. Abdallah (Editor), Peter Ryan (Editor), Steve Schneider (Editor)

Paperback Published: February 2004
ISBN: 9783540206934
Number Of Pages: 238

Share This Book:

Paperback

$116.16
or 4 easy payments of $29.04 with Learn more
Ships in 5 to 9 business days

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.

Lifting Reference Monitors from the Kernelp. 1
Authenticity Types for Cryptographic Protocolsp. 3
Verifying the SET Protocol: Overviewp. 4
Interacting State Machines: A Stateful Approach to Proving Securityp. 15
Automatic Approximation for the Verification of Cryptographic Protocolsp. 33
Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysisp. 49
Critical Critical Systemsp. 62
Analysing Security Protocolsp. 71
Analysis of Probabilistic Contract Signingp. 81
Security Analysis of (Un-) Fair Non-repudiation Protocolsp. 97
Modeling Adversaries in a Logic for Security Protocol Analysisp. 115
Secure Self-certified Code for Javap. 133
Z Styles for Security Properties and Modern User Interfacesp. 152
Cryptographic Challenges: The Past and the Futurep. 167
TAPS: The Last Few Slidesp. 183
Formal Specification for Fast Automatic IDS Trainingp. 191
Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Areap. 205
Revisiting Liveness Properties in the Context of Secure Systemsp. 221
Author Indexp. 239
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540206934
ISBN-10: 3540206930
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 238
Published: February 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: US
Dimensions (cm): 23.11 x 15.49  x 1.52
Weight (kg): 0.39