Formal Aspects in Security and Trust

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

  • Pierpaolo Degano
  • Joshua D. Guttman

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

Table of contents

  1. Front Matter
  2. Invited Lecture

  3. Session 1. Trust

    1. Baptiste Alcalde, Sjouke Mauw
      Pages 4-20
    2. Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen
      Pages 21-35
    3. Florian Eilers, Uwe Nestmann
      Pages 36-50
  4. Session 2. Workflow and Orchestration

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

    1. Jonathan Heusser, Pasquale Malacaria
      Pages 96-110
    2. Josef Svenningsson, David Sands
      Pages 111-125
    3. Rafael Alpízar, Geoffrey Smith
      Pages 126-140
  6. Session 4. Mobility and Deniability

    1. Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny
      Pages 141-156
    2. Massimo Merro, Eleonora Sibilio
      Pages 157-172
  7. Session 5. Protocols 1

    1. Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier
      Pages 173-185
    2. Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
      Pages 186-200
  8. Session 6. Protocols 2

    1. Jay McCarthy, Shriram Krishnamurthi
      Pages 217-232
    2. Allaa Kamil, Gavin Lowe
      Pages 233-247
  9. Session 7. Protocols 3

    1. Achim D. Brucker, Sebastian A. Mödersheim
      Pages 248-262
    2. Peeter Laud, Ilja Tšahhirov
      Pages 263-278

About these proceedings

Keywords

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

Editors and affiliations

  • Pierpaolo Degano
    • 1
  • Joshua D. Guttman
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.The MITRE CorporationBedfordUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-12459-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-12458-7
  • Online ISBN 978-3-642-12459-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book