Get your next eBook for only 9.99! Stock up on Springer Protocols! Available through Aug 17, 2018.

Security and Cryptology

Foundations of Security Analysis and Design

FOSAD 2006/2007 Turtorial Lectures

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

Buy this book

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