LEADER 01292nam--2200385---450- 001 990001795030203316 005 20040628095528.0 010 $a3-540-20693-0 035 $a000179503 035 $aUSA01000179503 035 $a(ALEPH)000179503USA01 035 $a000179503 100 $a20040628d2003----km-y0itay0103----ba 101 0 $aeng 102 $aDE 105 $aa|||||||001yy 200 1 $aFormal Aspects of Security$eFirst International Conference, FASec 2002$eLondon, UK, December 16-18, 2002$erevised papers$fAli E. Abdallah, Peter Ryan, Steve Schneider (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2003 215 $aX, 238 p.$cill.$d24 cm. 225 2 $aLecture notes in computer science$v2629 410 0$12001$aLecture notes in computer science$v2629 454 1$12001 461 1$1001-------$12001 702 1$aABDALLAH,$bAli E. 702 1$aRYAN,$bPeter 702 1$aSCHNEIDER,$bSteve 710 12$aInternational Conference on Formal Aspects of Security <1. ; 2002 ; London>$0563621 801 0$aIT$bsalbc$gISBD 912 $a990001795030203316 951 $a001 LNCS 2629$b29994/CBS$c001 LNCS 959 $aBK 969 $aSCI 979 $aRIVELLI$b90$c20040628$lUSA01$h0955 996 $aFormal Aspects of Security$9951122 997 $aUNISA