Lists
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://reading-clone.eprints-hosting.org/id/eprint/14774 |
| Item Type | Conference or Workshop Item |
| 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 |
Deposit Details
University Staff: Request a correction | Centaur Editors: Update this record
