More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Security and Cryptology

Foundations of Security Analysis and Design

FOSAD 2006/2007 Turtorial Lectures

Editors: Aldini, Alessandro, Gorrieri, Roberto (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-74810-6
  • 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-74809-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (10 chapters)

  • Security Protocols: Principles and Calculi

    Abadi, Martín

    Pages 1-23

  • Secure Service Orchestration

    Bartoletti, Massimo (et al.)

    Pages 24-74

  • IT Security Analysis Best Practices and Formal Approaches

    Métayer, Daniel

    Pages 75-91

  • Low-Level Software Security: Attacks and Defenses

    Erlingsson, Úlfar

    Pages 92-134

  • Enhancing Java Security with History Based Access Control

    Martinelli, Fabio (et al.)

    Pages 135-159

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-74810-6
  • 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-74809-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Foundations of Security Analysis and Design
Book Subtitle
FOSAD 2006/2007 Turtorial Lectures
Editors
  • Alessandro Aldini
  • Roberto Gorrieri
Series Title
Security and Cryptology
Series Volume
4677
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-74810-6
DOI
10.1007/978-3-540-74810-6
Softcover ISBN
978-3-540-74809-0
Edition Number
1
Number of Pages
VII, 328
Topics