Skip to main content
Springer Nature Link
Log in

Formal Aspects of Security and Trust

7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Pierpaolo Degano

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sandro Etalle

    1. Faculty of Mathematics and Computer Science, Technical University of Eindhoven, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Joshua Guttman

    1. Computer Science, Worcester Polytechnic Institute, Worcester, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: FAST 2010.

  • 13k Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Pisa, Italy in September 2010. The 14 revised full papers presented together with one invited paper were carefully reviewed and selected from 42 submissions. The papers focus of 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.

Similar content being viewed by others

Keywords

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks

    • Dusko Pavlovic
    Pages 1-17

  3. Bounded Memory Dolev-Yao Adversaries in Collaborative Systems

    • Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
    Pages 18-33

  4. Efficient Decision Procedures for Message Deducibility and Static Equivalence

    • Bruno Conchinha, David Basin, Carlos Caleiro
    Pages 34-49

  5. Understanding Abstractions of Secure Channels

    • Allaa Kamil, Gavin Lowe
    Pages 50-64

  6. Information Flow Analysis via Path Condition Refinement

    • Mana Taghdiri, Gregor Snelting, Carsten Sinz
    Pages 65-79

  7. Foundations of Attack–Defense Trees

    • Barbara Kordy, Sjouke Mauw, Saša Radomirović, Patrick Schweitzer
    Pages 80-95

  8. Reasoning with Past to Prove PKCS#11 Keys Secure

    • Sibylle Fröschle, Nils Sommer
    Pages 96-110

  9. A Formal Analysis of Authentication in the TPM

    • Stéphanie Delaune, Steve Kremer, Mark D. Ryan, Graham Steel
    Pages 111-125

  10. Modeling Identity-Related Properties and Their Privacy Strength

    • Meilof Veeningen, Benne de Weger, Nicola Zannone
    Pages 126-140

  11. Semantics of Trust

    • Tim Muller
    Pages 141-156

  12. Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

    • Clément Hurlin, Hélène Kirchner
    Pages 157-175

  13. Corrective Enforcement of Security Policies

    • Raphael Khoury, Nadia Tawbi
    Pages 176-190

  14. Cryptographic Enforcement of Role-Based Access Control

    • Jason Crampton
    Pages 191-205

  15. A Calculus for the Analysis of Wireless Network Security Protocols

    • Francesco Ballardin, Massimo Merro
    Pages 206-222

  16. Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus

    • Naipeng Dong, Hugo Jonker, Jun Pang
    Pages 223-238

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Aspects of Security and Trust

Editors and Affiliations

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

    Pierpaolo Degano

  • Faculty of Mathematics and Computer Science, Technical University of Eindhoven, Eindhoven, The Netherlands

    Sandro Etalle

  • Computer Science, Worcester Polytechnic Institute, Worcester, USA

    Joshua Guttman

Bibliographic Information

Publish with us

Policies and ethics

Back to top