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 (doi:10.1504/IJSN.2008.020092)

This list was generated on Sat Aug 15 04:44:03 2020 BST.