Skip to main content
SpringerLink
Log in
Book cover

Formal Aspects of Security and Trust

8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Gilles Barthe

    1. IMDEA Software Institute, Universidad Politecnica de Madrid, Boadilla del Monte, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anupam Datta

    1. Carnegie Mellon University, Moffet Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sandro Etalle

    1. Faculty of Mathematics and Computer Science, Embedded Systems Security Group, Technical University of Eindhoven, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast track conference proceedings
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: FAST 2011.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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 (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Verifying Cryptographic Code in C: Some Experience and the Csec Challenge

    • Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens
    Pages 1-20

  3. Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation

    • Willem De Groef, Dominique Devriese, Frank Piessens
    Pages 21-38

  4. Differential Privacy: On the Trade-Off between Utility and Information Leakage

    • Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
    Pages 39-54

  5. On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow

    • Luciano Bello, Eduardo Bonelli
    Pages 55-69

  6. Min-Entropy Leakage of Channels in Cascade

    • Barbara Espinoza, Geoffrey Smith
    Pages 70-84

  7. Secure Recharge of Disposable RFID Tickets

    • Riccardo Focardi, Flaminia L. Luccio
    Pages 85-99

  8. Avoiding Delegation Subterfuge Using Linked Local Permission Names

    • Simon N. Foley, Samane Abdi
    Pages 100-114

  9. Verifiable Control Flow Policies for Java Bytecode

    • Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
    Pages 115-130

  10. Concepts and Proofs for Configuring PKCS#11

    • Sibylle Fröschle, Nils Sommer
    Pages 131-147

  11. Service Automata

    • Richard Gay, Heiko Mantel, Barbara Sprick
    Pages 148-163

  12. Analysing Applications Layered on Unilaterally Authenticating Protocols

    • Thomas Gibson-Robinson, Gavin Lowe
    Pages 164-181

  13. Type-Based Enforcement of Secure Programming Guidelines — Code Injection Prevention at SAP

    • Robert Grabowski, Martin Hofmann, Keqin Li
    Pages 182-197

  14. TBA : A Hybrid of Logic and Extensional Access Control Systems

    • Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell
    Pages 198-213

  15. Diffie-Hellman without Difficulty

    • Sebastian Mödersheim
    Pages 214-229

  16. Is Cryptyc Able to Detect Insider Attacks?

    • Behnam Sattarzadeh, Mehran S. Fallah
    Pages 230-244

  17. Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes

    • Ben Smyth, Mark Ryan, Liqun Chen
    Pages 245-262

  18. Risk Balance in Optimistic Non-repudiation Protocols

    • Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang
    Pages 263-277

  19. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Aspects of Security and Trust

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on 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 of ubiquitous computing; validation/analysis tools; web service security/trust/privacy; grid security; security risk assessment; and case studies.

Editors and Affiliations

  • IMDEA Software Institute, Universidad Politecnica de Madrid, Boadilla del Monte, Spain

    Gilles Barthe

  • Carnegie Mellon University, Moffet Field, USA

    Anupam Datta

  • Faculty of Mathematics and Computer Science, Embedded Systems Security Group, Technical University of Eindhoven, Eindhoven, The Netherlands

    Sandro Etalle

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation