01277nam2-2200397---450-99000315014020331620080929104956.0978-3-540-85073-1000315014USA01000315014(ALEPH)000315014USA0100031501420080924d2008----km-y0itay50------baengDEy---||||001yySecure transaction protocol analysismodels and applicationsQingfeng Chen, Chengqi Zhang, Shichao ZhangBerlinSpringercopyr. 2008XI, 234 p.24 cmLecture notes in computer science51112001Lecture notes in computer science00100031496902001Lecture notes in computer science2001Sicurezza del computer005.8CHEN,Qingfeng508840ZHANG,Chengqi497864ZHANG,Shichao497865ITsalbcISBD990003150140203316001 LNCS 511137388/CBS00100217691BKSCICBAS1020080924USA011532CBAS1020080929USA011049Secure Transaction Protocol Analysis774452UNISA