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.

Article

Cheng, Xiaochun ORCID logoORCID: https://orcid.org/0000-0003-0371-9646 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.