Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

  • Pierpaolo Degano
  • Joshua Guttman
  • Fabio Martinelli
Conference proceedings FAST 2008

DOI: 10.1007/978-3-642-01465-9

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

Table of contents (21 papers)

  1. Front Matter
  2. Formal Certification of ElGamal Encryption
    Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin
    Pages 1-19
  3. Who Can Declassify?
    Alexander Lux, Heiko Mantel
    Pages 35-49
  4. Non-Interference for Deterministic Interactive Programs
    David Clark, Sebastian Hunt
    Pages 50-66
  5. Causality and Accountability
    Dominic Duggan, Ye Wu
    Pages 82-96
  6. Dynamics, Robustness and Fragility of Trust
    Dusko Pavlovic
    Pages 97-113
  7. Trust within the Context of Organizations: A Formal Approach
    Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi
    Pages 114-128
  8. Know What You Trust
    Fred Spiessens, Jerry den Hartog, Sandro Etalle
    Pages 129-142
  9. Privacy-Friendly Electronic Traffic Pricing via Commits
    Wiebren de Jonge, Bart Jacobs
    Pages 143-161
  10. A Formal Privacy Management Framework
    Daniel Le Métayer
    Pages 162-176
  11. Parameterised Anonymity
    Jan Friso Groote, Simona Orzan
    Pages 177-191
  12. Petri Net Security Checker: Structural Non-interference at Work
    Simone Frau, Roberto Gorrieri, Carlo Ferigato
    Pages 210-225
  13. Verifying Multi-party Authentication Using Rank Functions and PVS
    Rob Verhoeven, Francien Dechesne
    Pages 226-241
  14. The Append-Only Web Bulletin Board
    James Heather, David Lundin
    Pages 242-256
  15. Secure Broadcast Ambients
    Elsa L. Gunter, Ayesha Yasmeen
    Pages 257-271
  16. Do You Really Mean What You Actually Enforced?
    Nataliia Bielova, Fabio Massacci
    Pages 287-301

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security.

The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies.


computer security information privacy security tools trust ubiquitous computing

Editors and affiliations

  • Pierpaolo Degano
    • 1
  • Joshua Guttman
    • 2
  • Fabio Martinelli
    • 3
  1. 1.Dipartimento di InformaticaUniversità di Pisa, Largo BrunoPisaItaly
  2. 2.The MITRE CorporationBedfordUSA
  3. 3.Istituto di Informatica e Telematica - IIT Consiglio Nazionale delle RicercheC.N.R., Pisa Research AreaPisaItaly

Bibliographic information

  • Copyright Information Springer Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-01464-2
  • Online ISBN 978-3-642-01465-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349