Operational Semantics and Verification of Security Protocols

Authors:

ISBN: 978-3-540-78635-1 (Print) 978-3-540-78636-8 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages I-XIII

  2. No Access

    Chapter

    Pages 1-7

    Introduction

  3. No Access

    Chapter

    Pages 9-11

    Preliminaries

  4. No Access

    Chapter

    Pages 13-35

    Operational Semantics

  5. No Access

    Chapter

    Pages 37-65

    Security Properties

  6. No Access

    Chapter

    Pages 67-105

    Verification

  7. No Access

    Chapter

    Pages 107-122

    Multi-protocol Attacks

  8. No Access

    Chapter

    Pages 123-141

    Generalising NSL for Multi-party Authentication

  9. No Access

    Chapter

    Pages 143-155

    Historical Background and Further Reading

  10. Back Matter

    Pages 157-172