TY - BOOK TI - Foundations of security analysis and design : FOSAD 2006/2007 tutorial lectures. T3 - Lecture notes in computer science ; A2 - Aldini, Alessandro A2 - Gorrieri, Roberto, 1962- CY - Berlin PB - Springer PY - 2007 LA - English SN - 978-3-540-74809-0 SN - 3540748091 ER -