Skip to main content
SpringerLink
Log in

Formal Aspects in Security and Trust

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Pierpaolo Degano

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joshua Guttman

    1. The MITRE Corporation, Bedford, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Fabio Martinelli

    1. Istituto di Informatica e Telematica - IIT Consiglio Nazionale delle Ricerche, C.N.R., Pisa Research Area, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FAST 2008.

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 (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Formal Certification of ElGamal Encryption

    • Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin
    Pages 1-19

  3. Secure Information Flow as a Safety Property

    • Gérard Boudol
    Pages 20-34

  4. Who Can Declassify?

    • Alexander Lux, Heiko Mantel
    Pages 35-49

  5. Non-Interference for Deterministic Interactive Programs

    • David Clark, Sebastian Hunt
    Pages 50-66

  6. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels

    • Heiko Mantel, Henning Sudbrock
    Pages 67-81

  7. Causality and Accountability

    • Dominic Duggan, Ye Wu
    Pages 82-96

  8. Dynamics, Robustness and Fragility of Trust

    • Dusko Pavlovic
    Pages 97-113

  9. Trust within the Context of Organizations: A Formal Approach

    • Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi
    Pages 114-128

  10. Know What You Trust

    • Fred Spiessens, Jerry den Hartog, Sandro Etalle
    Pages 129-142

  11. Privacy-Friendly Electronic Traffic Pricing via Commits

    • Wiebren de Jonge, Bart Jacobs
    Pages 143-161

  12. A Formal Privacy Management Framework

    • Daniel Le Métayer
    Pages 162-176

  13. Parameterised Anonymity

    • Jan Friso Groote, Simona Orzan
    Pages 177-191

  14. Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder

    • Francis Klay, Laurent Vigneron
    Pages 192-209

  15. Petri Net Security Checker: Structural Non-interference at Work

    • Simone Frau, Roberto Gorrieri, Carlo Ferigato
    Pages 210-225

  16. Verifying Multi-party Authentication Using Rank Functions and PVS

    • Rob Verhoeven, Francien Dechesne
    Pages 226-241

  17. The Append-Only Web Bulletin Board

    • James Heather, David Lundin
    Pages 242-256

  18. Secure Broadcast Ambients

    • Elsa L. Gunter, Ayesha Yasmeen
    Pages 257-271

  19. Extending Anticipation Games with Location, Penalty and Timeline

    • Elie Bursztein
    Pages 272-286

  20. Do You Really Mean What You Actually Enforced?

    • Nataliia Bielova, Fabio Massacci
    Pages 287-301
Back to top

Other volumes

  1. Formal Aspects in Security and Trust

Keywords

About this book

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a?liated with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008). FAST 2008 was held under the auspices of the IFIP WG 1.7 on Foundations of Security Analysis and Design. The 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008) aimed at continuing the successful e?ort of the previous three FAST workshop editions for fostering the cooperation among researchers in the areas of security and trust. As computing and network infrastructures become increasingly pervasive, and as they carry increasing economic activity, society needs well-matched security and trust mechanisms. These interactions incre- ingly span several enterprises and involve loosely structured communities of - dividuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions - fectively determine the security goals for shared information and for access to sensitive or valuable resources. FAST sought for original papers focusing on formal aspects in: security and trust policy models; security protocol design and analysis; formal models of trustand reputation;logicsfor security andtrust;distributed trust management systems;trust-basedreasoning;digitalassetsprotection;dataprotection;privacy and ID issues; information ?ow analysis; language-based security; security and trust aspects in ubiquitous computing; validation/analysis tools; Web service security/trust/privacy; GRID security; security risk assessment; case studies.

Editors and Affiliations

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

    Pierpaolo Degano

  • The MITRE Corporation, Bedford, USA

    Joshua Guttman

  • Istituto di Informatica e Telematica - IIT Consiglio Nazionale delle Ricerche, C.N.R., Pisa Research Area, Pisa, Italy

    Fabio Martinelli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation