Alessandro Aldini, Roberto Gorrieri (Eds.):
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures.
Lecture Notes in Computer Science 4677 Springer 2007, ISBN 978-3-540-74809-0 
- Martín Abadi:
Security Protocols: Principles and Calculi.
1-23
- Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
Secure Service Orchestration.
24-74
- Daniel Le Métayer:
IT Security Analysis Best Practices and Formal Approaches.
75-91
- Úlfar Erlingsson:
Low-Level Software Security: Attacks and Defenses.
92-134
- Fabio Martinelli, Paolo Mori:
Enhancing Java Security with History Based Access Control.
135-159
- Javier Lopez, Cristina Alcaraz, Rodrigo Roman:
On the Protection and Technologies of Critical Information Infrastructures.
160-182
- Liqun Chen:
An Interpretation of Identity-Based Cryptography.
183-208
- Audun Jøsang:
Trust and Reputation Systems.
209-245
- Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough:
An Introduction to the Role Based Trust Management Framework RT.
246-281
- Eimear Gallery, Chris J. Mitchell:
Trusted Mobile Platforms.
282-323
Copyright © Wed Nov 11 04:04:11 2009
by Michael Ley (ley@uni-trier.de)
