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