Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

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

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

Buy this book

eBook 41,64 €
price for Spain (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 51,99 €
price for Spain (gross)
  • ISBN 978-3-642-29419-8
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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)

Table of contents (17 chapters)
  • Verifying Cryptographic Code in C: Some Experience and the Csec Challenge

    Pages 1-20

    Aizatulin, Mihhail (et al.)

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

    Pages 21-38

    Groef, Willem (et al.)

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

    Pages 39-54

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

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

    Pages 55-69

    Bello, Luciano (et al.)

  • Min-Entropy Leakage of Channels in Cascade

    Pages 70-84

    Espinoza, Barbara (et al.)

Buy this book

eBook 41,64 €
price for Spain (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 51,99 €
price for Spain (gross)
  • ISBN 978-3-642-29419-8
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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
51 b/w illustrations
Topics