Foundations of security analysis and design IV
Subtitle: FOSAD 2006/2007 tutorial lectures
By: Alessandro Aldini, Roberto Gorrieri (eds.).
Contributors: Aldini, Alessandro.; Gorrieri, Roberto.; International School on Foundations of Security Analysis and Design (2006 : Bertinoro, Italy); International School on Foundations of Security Analysis and Design (2007 : Bertinoro, Italy)
Series: LNCS sublibrary; Lecture notes in computer science -- 4677. -- Tutorial; Lecture notes in computer science -- 4677.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin
Language: eng
ISBN-13: 9783540748090
Subjects: Computer security -- Congresses; Computer networks -- Security measures -- Congresses
Genres: Congresses.
Other titles: Foundations of security analysis and design 4.; Foundations of security analysis and design four.; FOSAD 2006/2007 tutorial lectures.
Notes: "The 'International School on Foundations of Security Analysis and Design' (FOSAD) ... FOSAD is held annually at the Residential Centre of Bertinoro, Italy ... The present volume gathers a collection of tutorial lectures from FOSAD 2006 and FOSAD 2007." -- pref.

Includes bibliographical references and index.