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 BibTeX
- Martín Abadi:
Security Protocols: Principles and Calculi.
1-23
Electronic Edition (link) BibTeX
- Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
Secure Service Orchestration.
24-74
Electronic Edition (link) BibTeX
- Daniel Le Métayer:
IT Security Analysis Best Practices and Formal Approaches.
75-91
Electronic Edition (link) BibTeX
- Úlfar Erlingsson:
Low-Level Software Security: Attacks and Defenses.
92-134
Electronic Edition (link) BibTeX
- Fabio Martinelli, Paolo Mori:
Enhancing Java Security with History Based Access Control.
135-159
Electronic Edition (link) BibTeX
- Javier Lopez, Cristina Alcaraz, Rodrigo Roman:
On the Protection and Technologies of Critical Information Infrastructures.
160-182
Electronic Edition (link) BibTeX
- Liqun Chen:
An Interpretation of Identity-Based Cryptography.
183-208
Electronic Edition (link) BibTeX
- Audun Jøsang:
Trust and Reputation Systems.
209-245
Electronic Edition (link) BibTeX
- Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough:
An Introduction to the Role Based Trust Management Framework RT.
246-281
Electronic Edition (link) BibTeX
- Eimear Gallery, Chris J. Mitchell:
Trusted Mobile Platforms.
282-323
Electronic Edition (link) BibTeX
Copyright © Wed Jul 23 16:04:55 2008
by Michael Ley (ley@uni-trier.de)
