Browse by Supervisor
 | Up a level |
Number of items: 1.
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.