Verifying the purchase request in SET protocol

Chen, Q; Zhang, C; Zhang, S; Li, C

Verifying the purchase request in SET protocol

Chen, Q Zhang, C

Zhang, S Li, C

Permalink

Publication Type:: Conference Proceeding
Citation:: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2642 pp. 263 - 274
Issue Date:: 2003-12-01

Closed Access

	Filename	Description	Size
	2003001977.pdf		1.03 MB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Chen, Q	en_US
dc.contributor.author	Zhang, C https://orcid.org/0000-0001-5715-7154	en_US
dc.contributor.author	Zhang, S	en_US
dc.contributor.author	Li, C	en_US
dc.date.issued	2003-12-01	en_US
dc.identifier.citation	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2642 pp. 263 - 274	en_US
dc.identifier.issn	0302-9743	en_US
dc.identifier.uri	http://hdl.handle.net/10453/1750
dc.description.abstract	The Secure Electronic Transaction (SET) protocol has been jointly developed by Visa and MasterCard toward achieving secure online-transactions. This paper presents formal verification of the Purchase Request phase of SET, by using ENDL (extension of nonmonotonic logic). The analysis unveils some potential flaws. To overcome these vulnerabilities, some feasible countermeasures are proposed accordingly during the validation. Also, the modelling of Purchase Request is described to implement the mechanically model checking instead of manual verification. © Springer-Verlag Berlin Heidelberg 2003.	en_US
dc.relation	http://purl.org/au-research/grants/arc/DP0343109
dc.relation.ispartof	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	Verifying the purchase request in SET protocol	en_US
dc.type	Conference Proceeding
utslib.citation.volume	2642	en_US
utslib.for	0805 Distributed Computing	en_US
dc.location.activity	Xi'an, China	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/DVC (International)
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - ACRI - Australia China Relations Institute
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US
pubs.volume	2642	en_US

Abstract:

The Secure Electronic Transaction (SET) protocol has been jointly developed by Visa and MasterCard toward achieving secure online-transactions. This paper presents formal verification of the Purchase Request phase of SET, by using ENDL (extension of nonmonotonic logic). The analysis unveils some potential flaws. To overcome these vulnerabilities, some feasible countermeasures are proposed accordingly during the validation. Also, the modelling of Purchase Request is described to implement the mechanically model checking instead of manual verification. © Springer-Verlag Berlin Heidelberg 2003.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/1750