TY - BOOK AU - Focardi,Riccardo AU - Gorrieri,Roberto TI - Foundations of security analysis and design: tutorial lectures T2 - Lecture notes in computer science, SN - 3540428968 U1 - 005.8 21 PY - 2001/// CY - Berlin ; , New York PB - Springer KW - Computer networks KW - Security measures KW - Computer security N1 - Lectures presented at the International School on Foundations of Security Analysis and Design, Sept. 18-30, 2000, Bertinoro, Italy; Includes bibliographic references and index ER -