TY - BOOK AU - Focardi, R. (ed.) AU - Gorrieri, R. (ed.) TI - Foundations of security analysis and design: tutorial lectures SN - 3540428968 AV - QA76.9.A25.F68 2001 PY - 2001/// CY - Berlin, Germany PB - Springer-Verlag KW - Computer security. Systems security N1 - Includes bibliographical references ER -