LEADER 01287nam2-2200361---450- 001 990003324470203316 005 20091005105656.0 010 $a978-3-642-01464-2 035 $a000332447 035 $aUSA01000332447 035 $a(ALEPH)000332447USA01 035 $a000332447 100 $a20091005d2009----km-y0itay0103----ba 101 0 $aeng 102 $aDE 105 $aa|||||||001yy 200 1 $aFormal aspects in security and trust$e5th international workshop, FAST 2008$eMalaga, Spain, october 9-10, 2008$erevised selected papers$fPierpaolo Degano... [et al.] (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2009 215 $aX, 330 p.$cill.$d24 cm. 225 2 $aLecture notes in computer science$v5491 410 0$1001000314960$12001$aLecture notes in computer science$v5491 606 $aElaboratori elettronici$xSicurezza$xCongressi$yMalaga$z2008 676 $a004.22 702 1$aDEGANO,$bPierpaolo 710 12$aInternational workshop, FAST 2008$d<5.;$f2008;$eMalaga>$0606112 801 0$aIT$bsalbc$gISBD 912 $a990003324470203316 951 $a001 LNCS 5491$b38334/CBS$c001$d00219471 959 $aBK 969 $aSCI 979 $aRSIAV6$b90$c20091005$lUSA01$h1056 996 $aFormal aspects in security and trust$91121481 997 $aUNISA