Skip to main content
SpringerLink
Log in

Formal Aspects of Security

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

  • Conference proceedings
  • © 2003

Overview

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)

Included in the following conference series:

Conference proceedings info: FASec 2002.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Talk

    1. Lifting Reference Monitors from the Kernel

      • Fred B. Schneider
      Pages 1-2

  3. Invited Talks I

    1. Authenticity Types for Cryptographic Protocols

      • Andy Gordon
      Pages 3-3

    2. Verifying the SET Protocol: Overview

      • Lawrence C. Paulson
      Pages 4-14

  4. Protocol Verification

    1. Interacting State Machines: A Stateful Approach to Proving Security

      • David von Oheimb
      Pages 15-32

    2. Automatic Approximation for the Verification of Cryptographic Protocols

      • Frédéric Oehl, Gérard Cece, Olga Kouchnarenko, David Sinclair
      Pages 33-48

    3. Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis

      • Colin Boyd, Kapali Viswanathan
      Pages 49-61

  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

    2. Z Styles for Security Properties and Modern User Interfaces

      • Anthony Hall
      Pages 152-166

  8. Invited Talks III

    1. Cryptographic Challenges: The Past and the Future

      • B. Preneel
      Pages 167-182

    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

    2. Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area

      • Gordon Thomas Rohrmair, Gavin Lowe
      Pages 205-220

    3. Revisiting Liveness Properties in the Context of Secure Systems

      • Felix C. Gärtner
      Pages 221-238

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Aspects of Security

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation