Al-Refai, Hasan Moh'd Hasan <br/><br/>
Decidable bisimulation technique in the SPI-Calculus for cryptographic protocols / 
Hasan Moh'd Hasan Al-Refai 
 - Bangi :  Fakulti Teknologi dan Sains Maklumat,  Universiti Kebangsaan Malaysia,  2005 
 - xiv, 220 p. :  ill. ;  30 cm. 
<br/><br/>Thesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2005 
<br/><br/>Rerefences : p. [191]-198 
<br/><br/><label>Subjects--Corporate Names: </label><br/>Universiti Kebangsaan Malaysia--Dissertations
<br/><br/><label>Subjects--Topical Terms: </label><br/>Dissertations, Academic--Malaysia<br/>Cryptography<br/>Computer security<br/>Telecommunication systems--Security measures