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

FOSAD 2004 (6-11 September 2004)

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

FOSAD 2005 (19-24 September 2005)

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

Last update Fri May 25 08:14:19 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page