Book Volume 6858 2011

Foundations of Security Analysis and Design VI

FOSAD Tutorial Lectures

Editors:

ISBN: 978-3-642-23081-3 (Print) 978-3-642-23082-0 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages -

  2. Foundations of Security Analysis and Design

    1. No Access

      Chapter

      Pages 1-34

      Protecting Privacy in Data Release

    2. No Access

      Chapter

      Pages 35-65

      An Introduction to Security API Analysis

    3. No Access

      Chapter

      Pages 66-100

      Cryptographic Verification by Typing for a Sample Protocol Implementation

    4. No Access

      Chapter

      Pages 101-124

      Model-Driven Development of Security-Aware GUIs for Data-Centric Applications

    5. No Access

      Chapter

      Pages 125-151

      On Intransitive Non-interference in Some Models of Concurrency

    6. No Access

      Chapter

      Pages 152-184

      A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach

    7. No Access

      Chapter

      Pages 185-210

      The Geometry of Lattice Cryptography

    8. No Access

      Chapter

      Pages 211-230

      Quantitative Information Flow and Applications to Differential Privacy

    9. No Access

      Chapter

      Pages 231-274

      Risk Analysis of Changing and Evolving Systems Using CORAS

  3. Back Matter

    Pages -