LEADER 01209nam2-2200361---450- 001 990003330070203316 005 20091009113159.0 010 $a978-3-642-03828-0 035 $a000333007 035 $aUSA01000333007 035 $a(ALEPH)000333007USA01 035 $a000333007 100 $a20091009d2009----km-y0itay50------ba 101 $aeng 102 $aDE 105 $aa---||||001yy 200 1 $aFoundations of security analysis and design V$eFOSAD 2007/2008/2009 tutorial lectures$fAlessandro Aldini, Roberto Gorrieri (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2009 215 $aVIII, 338 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$iTutorial$v5705 410 1$1001000314960$12001$aLecture notes in computer science$v5705 606 0 $aSicurezza del computer$xCongressi$z2007/2008/2009 676 $a005.8 702 1$aALDINI,$bAlessandro 702 1$aGORRIERI,$bRoberto 801 0$aIT$bsalbc$gISBD 912 $a990003330070203316 951 $a001 LNCS 5705$b38762/CBS$c001$d00335251 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20091009$lUSA01$h1131 996 $aFoundations of Security Analysis and Design V$9773697 997 $aUNISA