Security and Cryptology

Formal Aspects in Security and Trust

Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Editors: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-32629-8
  • 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-540-32628-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book


This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005.

The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully reviewed and selected from 37 submissions. The papers focus on 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.

Table of contents (18 chapters)

  • Voting Technologies and Trust

    Randell, Brian (et al.)

    Pages 1-4

  • On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol

    Pancho-Festin, Susan (et al.)

    Pages 5-15

  • Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks

    Song, Tao (et al.)

    Pages 16-33

  • A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols

    Delicata, Rob (et al.)

    Pages 34-46

  • Eliminating Implicit Information Leaks by Transformational Typing and Unification

    Köpf, Boris (et al.)

    Pages 47-62

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-32629-8
  • 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-540-32628-1
  • 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
Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
Editors
  • Theo Dimitrakos
  • Fabio Martinelli
  • Peter Y.A. Ryan
  • Steve Schneider
Series Title
Security and Cryptology
Series Volume
3866
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-32629-8
DOI
10.1007/11679219
Softcover ISBN
978-3-540-32628-1
Edition Number
1
Number of Pages
X, 259
Topics