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

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

Table of contents

  1. Front Matter
  2. Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin
    Pages 1-19
  3. Alexander Lux, Heiko Mantel
    Pages 35-49
  4. David Clark, Sebastian Hunt
    Pages 50-66
  5. Dominic Duggan, Ye Wu
    Pages 82-96
  6. Dusko Pavlovic
    Pages 97-113
  7. Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi
    Pages 114-128
  8. Fred Spiessens, Jerry den Hartog, Sandro Etalle
    Pages 129-142
  9. Wiebren de Jonge, Bart Jacobs
    Pages 143-161
  10. Daniel Le Métayer
    Pages 162-176
  11. Jan Friso Groote, Simona Orzan
    Pages 177-191
  12. Simone Frau, Roberto Gorrieri, Carlo Ferigato
    Pages 210-225
  13. Rob Verhoeven, Francien Dechesne
    Pages 226-241
  14. James Heather, David Lundin
    Pages 242-256
  15. Elsa L. Gunter, Ayesha Yasmeen
    Pages 257-271
  16. Nataliia Bielova, Fabio Massacci
    Pages 287-301
  17. Isaac Agudo, Carmen Fernandez-Gago, Javier Lopez
    Pages 302-315
  18. Ariel Cohen, Ron van der Meyden, Lenore D. Zuck
    Pages 316-330
  19. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-01464-2
  • Online ISBN 978-3-642-01465-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment