Security and Cryptology

Formal Aspects of Security and Trust

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

Editors: Barthe, Gilles, Datta, Anupam, Etalle, Sandro (Eds.)

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

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-642-29420-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-642-29419-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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.

Table of contents (17 chapters)

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

    Aizatulin, Mihhail (et al.)

    Pages 1-20

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

    Groef, Willem (et al.)

    Pages 21-38

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

    Alvim, Mário S. (et al.)

    Pages 39-54

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

    Bello, Luciano (et al.)

    Pages 55-69

  • Min-Entropy Leakage of Channels in Cascade

    Espinoza, Barbara (et al.)

    Pages 70-84

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-642-29420-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-642-29419-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Aspects of Security and Trust
Book Subtitle
8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Editors
  • Gilles Barthe
  • Anupam Datta
  • Sandro Etalle
Series Title
Security and Cryptology
Series Volume
7140
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-29420-4
DOI
10.1007/978-3-642-29420-4
Softcover ISBN
978-3-642-29419-8
Edition Number
1
Number of Pages
X, 279
Number of Illustrations and Tables
51 b/w illustrations
Topics