Security and Cryptology
Lect.Notes Computer. Tutorial
© 2007
Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures
Editors: Aldini, Alessandro, Gorrieri, Roberto (Eds.)
Free PreviewBuy this book
- Table of contents (10 chapters)
-
-
Security Protocols: Principles and Calculi
Pages 1-23
-
Secure Service Orchestration
Pages 24-74
-
IT Security Analysis Best Practices and Formal Approaches
Pages 75-91
-
Low-Level Software Security: Attacks and Defenses
Pages 92-134
-
Enhancing Java Security with History Based Access Control
Pages 135-159
-
Table of contents (10 chapters)
Recommended for you

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