Advertisement

Formal Aspects of Security

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

  • Ali E. Abdallah
  • Peter Ryan
  • Steve Schneider
Conference proceedings FASec 2002

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

Table of contents

  1. Front Matter
  2. Keynote Talk

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

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

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

    1. Susan Stepney
      Pages 62-70
    2. Dieter Gollmann
      Pages 71-80
  6. Analysis of Protocols

    1. Gethin Norman, Vitaly Shmatikov
      Pages 81-96
    2. Sigrid Gürgens, Carsten Rudolph
      Pages 97-114
    3. Joseph Y. Halpern, Riccardo Pucella
      Pages 115-132
  7. Security Modelling and Reasonning

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

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

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

About these proceedings

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

  • Ali E. Abdallah
    • 1
  • Peter Ryan
    • 2
  • Steve Schneider
    • 3
  1. 1.Faculty of BCIM, Institute for Computing ResearchLondon South Bank UniversityLondonUK
  2. 2.University of NewcastleUK
  3. 3.Department of ComputingUniversity of Surrey 

Bibliographic information

  • DOI https://doi.org/10.1007/b94774
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20693-4
  • Online ISBN 978-3-540-40981-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site