- UHRA Home
- University of Hertfordshire
- Browsing University of Hertfordshire by Author
Browsing University of Hertfordshire by Author "Loo, Jonathan"
Now showing items 1-1 of 1
-
Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain
Edris, Ed Kamya Kiyemba; Aiash, Mahdi; Khoshkholghi, Mohammad Ali; Naha, Ranesh; Chowdhury, Abdullahi; Loo, Jonathan (2023-12-30)The development of cryptographic protocols goes through two stages, namely, security verification and performance analysis. The verification of the protocol’s security properties could be analytically achieved using threat ...