175 years of Springer publishing +++ Limited offer: Any eBook in the Springer Archives 9.99 each!

Security and Cryptology

Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Editors: Degano, Pierpaolo, Guttman, Joshua D., Martinelli, Fabio (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-01465-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-01464-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security.

The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies.

Table of contents (21 chapters)

  • Formal Certification of ElGamal Encryption

    Barthe, Gilles (et al.)

    Pages 1-19

  • Secure Information Flow as a Safety Property

    Boudol, Gérard

    Pages 20-34

  • Who Can Declassify?

    Lux, Alexander (et al.)

    Pages 35-49

  • Non-Interference for Deterministic Interactive Programs

    Clark, David (et al.)

    Pages 50-66

  • Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels

    Mantel, Heiko (et al.)

    Pages 67-81

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-01465-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-01464-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Aspects in Security and Trust
Book Subtitle
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Editors
  • Pierpaolo Degano
  • Joshua D. Guttman
  • Fabio Martinelli
Series Title
Security and Cryptology
Series Volume
5491
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-01465-9
DOI
10.1007/978-3-642-01465-9
Softcover ISBN
978-3-642-01464-2
Edition Number
1
Number of Pages
X, 331
Topics