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

E

Edris, Ed Kamya Kiyemba, Aiash, Mahdi ORCID logoORCID: https://orcid.org/0000-0002-3984-6244, Loo, Jonathan and Alhakeem, Mohammad Shadi (2020) Formal verification of secondary authentication protocol for 5G secondary authentication. International Journal of Security and Networks . ISSN 1747-8405 [Article] (Accepted/In press)

M

Ma, Xiaoqi and Cheng, Xiaochun ORCID logoORCID: https://orcid.org/0000-0003-0371-9646 (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 Dec 5 05:03:57 2022 GMT.