Save 40% on books and eBooks in Engineering & Materials Science or in Social & Behavioral Sciences!

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

Free Preview

Buy this book

eBook $74.99
price for USA in USD (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 in USD
  • 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)

Table of contents (18 chapters)
  • Voting Technologies and Trust

    Pages 1-4

    Randell, Brian (et al.)

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

    Pages 5-15

    Pancho-Festin, Susan (et al.)

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

    Pages 16-33

    Song, Tao (et al.)

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

    Pages 34-46

    Delicata, Rob (et al.)

  • Eliminating Implicit Information Leaks by Transformational Typing and Unification

    Pages 47-62

    Köpf, Boris (et al.)

Buy this book

eBook $74.99
price for USA in USD (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 in USD
  • 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