Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2003

Formal Aspects of Security

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

Editors:

  1. Ali E. Abdallah

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Ryan

    1. University of Newcastle, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Steve Schneider

    1. Department of Computing, University of Surrey,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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.

Sections

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 papers)

  1. Front Matter

    PDF

  2. Keynote Talk

    1. Lifting Reference Monitors from the Kernel

      • Fred B. Schneider
      Pages 1-2

  3. Invited Talks I

    2. Verifying the SET Protocol: Overview

      • Lawrence C. Paulson
      Pages 4-14

  4. Protocol Verification

    2. 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

    2. 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

    PDF
Back to top

Other Volumes

  1. Formal Aspects of Security

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation