A verification model for electronic transaction protocols

DSpace/Manakin Repository

Search OPUS

Advanced Search


My Account

Show simple item record

dc.contributor.author Chen, Q
dc.contributor.author Zhang, C
dc.contributor.author Zhang, S
dc.date.accessioned 2009-11-09T02:45:27Z
dc.date.issued 2004
dc.identifier.citation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3007 pp. 824 - 833
dc.identifier.issn 0302-9743
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. © Springer-Verlag Berlin Heidelberg 2004.
dc.title A verification model for electronic transaction protocols
dc.type Conference Proceeding
dc.parent Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.journal.volume 3007
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 0805 Distributed Computing
dc.personcode 020030
dc.personcode 011221
dc.personcode 117449
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
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems
utslib.copyright.status Closed Access
utslib.copyright.date 2015-04-15 12:17:09.805752+10
pubs.consider-herdc true
utslib.collection.history General Collection (ID: 346) [2015-05-15T14:12:05+10:00]
utslib.collection.history Closed (ID: 3)
utslib.collection.history Uncategorised (ID: 363)

Files in this item

This item appears in the following Collection(s)

Show simple item record