Book Volume 5705 2009

Foundations of Security Analysis and Design V

FOSAD 2007/2008/2009 Tutorial Lectures

Editors:

ISBN: 978-3-642-03828-0 (Print) 978-3-642-03829-7 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages -

  2. Foundations of Security Analysis and Design

    1. FOSAD 2007

      1. No Access

        Chapter

        Pages 1-50

        Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

      FOSAD 2008

      1. No Access

        Chapter

        Pages 51-95

        An Introduction to Certificate Translation

      2. No Access

        Chapter

        Pages 96-120

        Federated Identity Management

      3. No Access

        Chapter

        Pages 121-144

        Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment

      FOSAD 2009

      1. No Access

        Chapter

        Pages 145-165

        Logic in Access Control (Tutorial Notes)

      2. No Access

        Chapter

        Pages 166-194

        The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols

      3. No Access

        Chapter

        Pages 195-222

        Verification of Concurrent Programs with Chalice

      4. No Access

        Chapter

        Pages 223-257

        Certified Static Analysis by Abstract Interpretation

      5. No Access

        Chapter

        Pages 258-288

        Resource Usage Analysis and Its Application to Resource Certification

      6. No Access

        Chapter

        Pages 289-338

        Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks

  3. Back Matter

    Pages -