Browse by Journal
![]() | See full list of headings |
Number of items: 2.
E
Edris, Ed Kamya Kiyemba, Aiash, Mahdi ORCID: 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: 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)