- UHRA Home
- Browsing by Author
Browsing by Author "Chowdhury, Abdullahi"
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 ...