Advanced search

Formal Verification of Merchant Registration Phase of SET Protocol

Download
Full text not archived in this repository.
Advice

Please see our End User Agreement.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email
Lists

Ma, X. and Cheng, X. (2005) Formal Verification of Merchant Registration Phase of SET Protocol. In: Proceedings of the 11th Annual Conference of Chinese Automation and Computing Society in UK (CACSUK 2005), Sheffield, UK.

Additional Information Won the Best Student Paper Award and the extended version was invited to submit to the IEEE Journal of Intelligent Cybernetics Systems
Item Type Conference or Workshop Item (Paper)
URI https://centaur.reading.ac.uk/id/eprint/14774
Divisions Science
Additional Information Won the Best Student Paper Award and the extended version was invited to submit to the IEEE Journal of Intelligent Cybernetics Systems
Download/View statistics View download statistics for this item
Download
Full text not archived in this repository.
Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email
Advice

Please see our End User Agreement.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Lists
Deposit Details

University Staff: Request a correction | Centaur Editors: Update this record