01209nam2-2200361---450-99000333007020331620091009113159.0978-3-642-03828-0000333007USA01000333007(ALEPH)000333007USA0100033300720091009d2009----km-y0itay50------baengDEa---||||001yyFoundations of security analysis and design VFOSAD 2007/2008/2009 tutorial lecturesAlessandro Aldini, Roberto Gorrieri (Eds.)Berlin [etc.]Springercopyr. 2009VIII, 338 p.ill.24 cmLecture notes in computer scienceTutorial57050010003149602001Lecture notes in computer science5705Sicurezza del computerCongressi2007/2008/2009005.8ALDINI,AlessandroGORRIERI,RobertoITsalbcISBD990003330070203316001 LNCS 570538762/CBS00100335251BKSCIRSIAV79020091009USA011131Foundations of Security Analysis and Design V773697UNISA