LEADER 01277nam2-2200397---450-
001 990003150140203316
005 20080929104956.0
010   $a978-3-540-85073-1
035   $a000315014
035   $aUSA01000315014
035   $a(ALEPH)000315014USA01
035   $a000315014
100   $a20080924d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $ay---||||001yy
200 1 $aSecure transaction protocol analysis$emodels and applications$fQingfeng Chen, Chengqi Zhang, Shichao Zhang
210   $aBerlin$cSpringer$dcopyr. 2008
215   $aXI, 234 p.$d24 cm
225 2 $aLecture notes in computer science$v5111
410  0$12001$aLecture notes in computer science
461  1$10010003149690$12001$aLecture notes in computer science$12001
606 0 $aSicurezza del computer
676   $a005.8
700  1$aCHEN,$bQingfeng$0508840
701  1$aZHANG,$bChengqi$0497864
701  1$aZHANG,$bShichao$0497865
801  0$aIT$bsalbc$gISBD
912   $a990003150140203316
951   $a001 LNCS 5111$b37388/CBS$c001$d00217691
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080924$lUSA01$h1532
979   $aCBAS$b10$c20080929$lUSA01$h1049
996   $aSecure Transaction Protocol Analysis$9774452
997   $aUNISA