A verification model for electronic transaction protocols

UTSePress Research/Manakin Repository

Search UTSePress Research

Advanced Search


My Account

Show simple item record

dc.contributor.author Chen, Qingfeng en_US
dc.contributor.author Zhang, Chengqi en_US
dc.contributor.author Zhang, Shichao en_US
dc.contributor.editor Yu,J; Lin,X; Lu,H, Zhang,Y en_US
dc.date.accessioned 2009-11-09T02:45:27Z
dc.date.available 2009-11-09T02:45:27Z
dc.date.issued 2004 en_US
dc.identifier 2004000113 en_US
dc.identifier.citation Chen Qingfeng, Zhang Chengqi, and Zhang Shichao 2004, 'A verification model for electronic transaction protocols', Springer-Verlag Berlin, Berlin, pp. 824-833. en_US
dc.identifier.issn 0302-9743 en_US
dc.identifier.other E1 en_US
dc.identifier.uri http://hdl.handle.net/10453/1819
dc.description.abstract Electronic transaction protocols have been found with subtle flaws. Recently, model checking has been used to verify electronic transaction protocols for the limitations of low efficiency and error prone in the traditional approaches. This paper proposes an extendable verification model to especially validate electronic transaction protocols. In particular, the verification model is able to deal with the inconsistency in transmitted messages. Thus, we can measure the incoherence in secure messages coming from different sources and at different moments and ensure the validity of verification result. We analyze two instances by using this model. The analyses uncover some subtle flaws in the protocols. en_US
dc.publisher Springer-Verlag Berlin en_US
dc.relation.isbasedon http://dx.doi.org/10.1007/978-3-540-24655-8_90 en_US
dc.title A verification model for electronic transaction protocols en_US
dc.parent Advanced Web Technologies and Applications - APWEB'04 en_US
dc.journal.volume 3007 en_US
dc.journal.number en_US
dc.publocation Berlin en_US
dc.identifier.startpage 824 en_US
dc.identifier.endpage 833 en_US
dc.cauo.name FEIT.School of Software en_US
dc.conference Verified OK en_US
dc.conference.location Hangzhou,China en_US
dc.for 080500 en_US
dc.personcode 117449 en_US
dc.personcode 011221 en_US
dc.personcode 020030 en_US
dc.percentage 100 en_US
dc.classification.name Distributed Computing en_US
dc.classification.type FOR-08 en_US
dc.custom Asia Pacific Web Conference en_US
dc.date.activity 20040414 en_US
dc.location.activity Hangzhou,China en_US
dc.staffid 020030 en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record