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: M
Number of items: 1.


Ma, Xiaoqi and Cheng, Xiaochun ORCID: (2008) Verifying security protocols by knowledge analysis. International Journal of Security and Networks, 3 (3) . pp. 183-192. ISSN 1747-8405 [Article] (doi:10.1504/IJSN.2008.020092)

This list was generated on Mon Oct 19 04:43:50 2020 BST.