LEADER 01352nam--2200397---450- 001 990003071290203316 005 20080411161831.0 010 $a3-540-28955-0 035 $a000307129 035 $aUSA01000307129 035 $a(ALEPH)000307129USA01 035 $a000307129 100 $a20080227d2005----km-y0itay0103----ba 101 0 $aeng 102 $aDE 105 $aa|||||||001yy 200 1 $aFoundations of security analysis and design 3.$eFOSAD 2004/2005 tutorial lectures$fAlessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2005 215 $aVI, 272 p.$cill.$d24 cm. 225 2 $aLecture notes in computer science$v3655$iTutorial 410 0$12001$aLecture notes in computer science$v3655$iTutorial 606 $aInformatica$xSicurezza 676 $a005.1 700 1$aALDINI,$bAlessandro$0600344 701 1$aGORRIERI,$bRoberto$0597785 701 1$aMARTINELLI,$bFabio$0600345 801 0$aIT$bsalbc$gISBD 912 $a990003071290203316 951 $a001 LNCS 3655$b32340/CBS$c001 LNCS$d00112773 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20080227$lUSA01$h1216 979 $aANGELA$b90$c20080227$lUSA01$h1218 979 $aANGELA$b90$c20080411$lUSA01$h1618 996 $aFoundations of security analysis and design 3$91022912 997 $aUNISA