01303nam2-2200385---450-99000310681020331620080925145251.0978-3-540-74809-0000310681USA01000310681(ALEPH)000310681USA0100031068120080514d2007----km-y0itay50------baengDEa---||||001yyFoundations of security analysis and design IVFOSAD 2006/2007 tutorial lecturesAlessandro Aldini, Roberto Gorrieri (eds.)Berlin [etc.]Springercopyr. 2007VI, 323 p.ill.24 cmLecture notes in computer scienceTutorial46772001Lecture notes in computer science46770010003149602001Lecture notes in computer scienceSicurezza del computerCongressi2006/2007005.8ALDINI,AlessandroGORRIERI,RobertoITsalbcISBD990003106810203316001 LNCS 467735356/CBS00100216612BKSCICBAS1020080514USA011218ANGELA9020080925USA011452Foundations of Security Analysis and Design IV772080UNISA