Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: Article
Number of items: 1.


Cheng, Xiaochun ORCID logoORCID: and Ma, Xiao-Qi (2005) Formal verification of the merchant registration phase of the SET protocol. International Journal of Automation and Computing, 2 (2) . pp. 155-162. ISSN 1476-8186 [Article] (doi:10.1007/s11633-005-0155-5)

This list was generated on Thu Sep 21 02:45:37 2023 BST.