FOSAD 2004/2005

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (Eds.): Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655 Springer 2005, ISBN 3-540-28955-0 BibTeX

FOSAD 2004 (6-11 September 2004)

Michael Backes, Birgit Pfitzmann, Michael Waidner:
Justifying a Dolev-Yao Model Under Active Attacks. 1-41
Electronic Edition (link) BibTeX
Jan Jürjens:
Model-Based Security Engineering with UML. 42-77
Electronic Edition (link) BibTeX
François Koeune, François-Xavier Standaert:
A Tutorial on Physical Security and Side-Channel Attacks. 78-108
Electronic Edition (link) BibTeX
Riccardo Focardi:
Static Analysis of Authentication. 109-132
Electronic Edition (link) BibTeX

Gilles Barthe, Guillaume Dufay:
Formal Methods for Smartcard Security. 133-177
Electronic Edition (link) BibTeX
Elisa Bertino, Ji-Won Byun, Ninghui Li:
Privacy-Preserving Database Systems. 178-206
Electronic Edition (link) BibTeX
Hervé Debar, Jouni Viinikka:
Intrusion Detection: Introduction to Intrusion Detection and Security Information Management. 207-236
Electronic Edition (link) BibTeX
Paolo Giorgini, Fabio Massacci, Nicola Zannone:
Security and Trust Requirements Engineering. 237-272
Electronic Edition (link) BibTeX