Skip to main content
  • Conference proceedings
  • © 2003

Formal Aspects of Security

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2629)

Conference series link(s): FASec: International Conference on Formal Aspects of Security

Conference proceedings info: FASec 2002.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  2. Keynote Talk

    1. Lifting Reference Monitors from the Kernel

      • Fred B. Schneider
      Pages 1-2
  3. Invited Talks I

    1. Verifying the SET Protocol: Overview

      • Lawrence C. Paulson
      Pages 4-14
  4. Protocol Verification

    1. Automatic Approximation for the Verification of Cryptographic Protocols

      • Frédéric Oehl, Gérard Cece, Olga Kouchnarenko, David Sinclair
      Pages 33-48
  5. Invited Talks II

    1. Critical Critical Systems

      • Susan Stepney
      Pages 62-70
    2. Analysing Security Protocols

      • Dieter Gollmann
      Pages 71-80
  6. Analysis of Protocols

    1. Analysis of Probabilistic Contract Signing

      • Gethin Norman, Vitaly Shmatikov
      Pages 81-96
    2. Security Analysis of (Un-) Fair Non-repudiation Protocols

      • Sigrid Gürgens, Carsten Rudolph
      Pages 97-114
    3. Modeling Adversaries in a Logic for Security Protocol Analysis

      • Joseph Y. Halpern, Riccardo Pucella
      Pages 115-132
  7. Security Modelling and Reasonning

    1. Secure Self-certified Code for Java

      • M. Debbabi, J. Desharnais, M. Fourati, E. Menif, F. Painchaud, N. Tawbi
      Pages 133-151
  8. Invited Talks III

    1. TAPS: The Last Few Slides

      • Ernie Cohen
      Pages 183-190
  9. Intrusion Detection Systems and Liveness

    1. Formal Specification for Fast Automatic IDS Training

      • Antonio Durante, Roberto Di Pietro, Luigi V. Mancini
      Pages 191-204
  10. Back Matter

Other Volumes

  1. Formal Aspects of Security

Keywords

  • cryptographic protocols
  • cryptography
  • cryptology
  • formal specification
  • formal verification
  • intrusion detection
  • modeling
  • protocol analysis
  • protocol verification
  • safety critical systems
  • security
  • security protocols
  • systems security

Editors and Affiliations

  • Faculty of BCIM, Institute for Computing Research, London South Bank University, London, UK

    Ali E. Abdallah

  • University of Newcastle, UK

    Peter Ryan

  • Department of Computing, University of Surrey,  

    Steve Schneider

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions