Decidable bisimulation technique in the SPI-Calculus for cryptographic protocols - Al-Refai, Hasan Moh'd Hasan (Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 2005)
Thesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2005
Rerefences : p. [191]-198
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Dissertations, Academic -- Malaysia; Cryptography; Computer security; Telecommunication systems -- Security measures