%0 Book %E Aldini, Alessandro %E Gorrieri, Roberto, 1962- %I Springer %D 2007 %C Berlin %G English %B Lecture notes in computer science ; %@ 978-3-540-74809-0 %@ 3540748091 %T Foundations of security analysis and design : FOSAD 2006/2007 tutorial lectures.