Skip to main content
SpringerLink
Log in

Formal Aspects in Security and Trust

Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Theo Dimitrakos

    1. BT Group Chief Technology Office, Ipswich, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fabio Martinelli

    1. IIT CNR, Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Y. A. Ryan

    1. University of Newcastle, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Steve Schneider

    1. Department of Computing, University of Surrey, UK

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

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

Included in the following conference series:

Conference proceedings info: FAST 2005.

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

  1. Front Matter

    Download chapter PDF

  2. Voting Technologies and Trust

    • Brian Randell, Peter Y. A. Ryan
    Pages 1-4

  3. On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol

    • Susan Pancho-Festin, Dieter Gollmann
    Pages 5-15

  4. Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks

    • Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt
    Pages 16-33

  5. A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols

    • Rob Delicata, Steve Schneider
    Pages 34-46

  6. Eliminating Implicit Information Leaks by Transformational Typing and Unification

    • Boris Köpf, Heiko Mantel
    Pages 47-62

  7. Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations

    • N. De Francesco, L. Martini
    Pages 63-80

  8. Opacity Generalised to Transition Systems

    • Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
    Pages 81-95

  9. Unifying Decidability Results on Protection Systems Using Simulations

    • Constantin Enea
    Pages 96-111

  10. Proof Obligations Preserving Compilation

    • Gilles Barthe, Tamara Rezk, Ando Saabas
    Pages 112-126

  11. A Logic for Analysing Subterfuge in Delegation Chains

    • Hongbin Zhou, Simon N. Foley
    Pages 127-141

  12. Probable Innocence Revisited

    • Konstantinos Chatzikokolakis, Catuscia Palamidessi
    Pages 142-157

  13. Relative Trustworthiness

    • Johan W. Klüwer, Arild Waaler
    Pages 158-170

  14. Secure Untrusted Binaries — Provably!

    • Simon Winwood, Manuel M. T. Chakravarty
    Pages 171-186

  15. Normative Specification: A Tool for Trust and Security

    • Olga Pacheco
    Pages 187-202

  16. Type-Based Distributed Access Control vs. Untyped Attackers

    • Tom Chothia, Dominic Duggan
    Pages 203-216

  17. A Security Management Information Model Derivation Framework: From Goals to Configurations

    • R. Laborde, F. Barrère, A. Benzekri
    Pages 217-234

  18. On Anonymity with Identity Escrow

    • Aybek Mukhamedov, Mark D. Ryan
    Pages 235-243

  19. Towards Verification of Timed Non-repudiation Protocols

    • Kun Wei, James Heather
    Pages 244-257

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Aspects in Security and Trust

Keywords

About this book


This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005.

The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully reviewed and selected from 37 submissions. The papers focus on formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, GRID security, security risk assessment, and case studies.

Editors and Affiliations

  • BT Group Chief Technology Office, Ipswich, UK

    Theo Dimitrakos

  • IIT CNR, Pisa, Pisa, Italy

    Fabio Martinelli

  • University of Newcastle, UK

    Peter Y. A. Ryan

  • Department of Computing, University of Surrey, UK

    Steve Schneider

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation