Accessibility navigation


Formal Verification of Merchant Registration Phase of SET Protocol

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.

Full text not archived in this repository.

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


Item Type:Conference or Workshop Item (Paper)
Divisions:Faculty of Science
ID Code:14774
Additional Information:Won the Best Student Paper Award and the extended version was invited to submit to the IEEE Journal of Intelligent Cybernetics Systems

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

Page navigation