Skip to main content
SpringerLink
Log in
Book cover

Formal Aspects in Security and Trust

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Pierpaolo Degano

    1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joshua D. Guttman

    1. The MITRE Corporation, Bedford, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: FAST 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Lecture

    1. Semantics and Enforcement of Expressive Information Flow Policies

      • Anindya Banerjee
      Pages 1-3

  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. Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties

      • Andrew Cirillo, James Riely
      Pages 51-65

  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. Analysing the Information Flow Properties of Object-Capability Patterns

      • Toby Murray, Gavin Lowe
      Pages 81-95

    2. Applied Quantitative Information Flow and Statistical Databases

      • Jonathan Heusser, Pasquale Malacaria
      Pages 96-110

    3. Specification and Verification of Side Channel Declassification

      • Josef Svenningsson, David Sands
      Pages 111-125

    4. 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

    3. Attack, Solution and Verification for Shared Authorisation Data in TCG TPM

      • Liqun Chen, Mark Ryan
      Pages 201-216

  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
Back to top

Other volumes

  1. Formal Aspects in Security and Trust

Keywords

Editors and Affiliations

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

    Pierpaolo Degano

  • The MITRE Corporation, Bedford, USA

    Joshua D. Guttman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation