Skip to main content
  • Conference proceedings
  • © 2010

Formal Aspects in Security and Trust

6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

  • Up-to-date results

  • Fast track conference proceedings

  • State-of-the-art report

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

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): FAST: International Workshop on Formal Aspects in Security and Trust

Conference proceedings info: FAST 2009.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  2. Invited Lecture

  3. Session 1. Trust

    1. An Algebra for Trust Dilution and Trust Fusion

      • Baptiste Alcalde, Sjouke Mauw
      Pages 4-20
    2. HMM-Based Trust Model

      • Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen
      Pages 21-35
    3. Deriving Trust from Experience

      • Florian Eilers, Uwe Nestmann
      Pages 36-50
  4. Session 2. Workflow and Orchestration

    1. Model Checking of Security-Sensitive Business Processes

      • Alessandro Armando, Serena Elisa Ponta
      Pages 66-80
  5. Session 3. Secure Flow

    1. Applied Quantitative Information Flow and Statistical Databases

      • Jonathan Heusser, Pasquale Malacaria
      Pages 96-110
    2. Specification and Verification of Side Channel Declassification

      • Josef Svenningsson, David Sands
      Pages 111-125
    3. Secure Information Flow for Distributed Systems

      • Rafael Alpízar, Geoffrey Smith
      Pages 126-140
  6. Session 4. Mobility and Deniability

    1. Probable Innocence in the Presence of Independent Knowledge

      • Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny
      Pages 141-156
    2. A Calculus of Trustworthy Ad Hoc Networks

      • Massimo Merro, Eleonora Sibilio
      Pages 157-172
  7. Session 5. Protocols 1

    1. Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

      • Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier
      Pages 173-185
    2. Game-Based Verification of Multi-Party Contract Signing Protocols

      • Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
      Pages 186-200
  8. Session 6. Protocols 2

    1. Trusted Multiplexing of Cryptographic Protocols

      • Jay McCarthy, Shriram Krishnamurthi
      Pages 217-232
    2. Specifying and Modelling Secure Channels in Strand Spaces

      • Allaa Kamil, Gavin Lowe
      Pages 233-247
  9. Session 7. Protocols 3

    1. Integrating Automated and Interactive Protocol Verification

      • Achim D. Brucker, Sebastian A. Mödersheim
      Pages 248-262
    2. A User Interface for a Game-Based Protocol Verification Tool

      • Peeter Laud, Ilja Tšahhirov
      Pages 263-278

Other Volumes

  1. Formal Aspects in Security and Trust

Keywords

  • Protection
  • access control
  • algebra
  • anonymity
  • authentication
  • control
  • cryptographic protocol
  • database
  • distributed systems
  • management
  • modelling
  • privacy
  • security
  • trust
  • verification

Editors and Affiliations

  • Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Pierpaolo Degano

  • The MITRE Corporation, Bedford, USA

    Joshua D. Guttman

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions