Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures - Aldini, Alessandro; Gorrieri, Roberto; Martinelli, Fabio; International School on Foundations of Security Analysis and Design (Berlin ; New York : Springer, 2005)
FOSAD 2004 (6-11 September 2004) -- FOSAD 2005 (19-24 September 2005).
Includes bibliographical references and index.
Keywords: Computer security -- Congresses; Computer networks -- Security measures -- Congresses