Browse by Author

Singh, Rajiv Ranjan ORCID: https://orcid.org/0000-0003-1808-3433 (2022). Modelling and verification of security requirements and stealthiness in security protocols. University of Birmingham. Ph.D.