| 000 | 01252nam a2200313 a 4500 | ||
|---|---|---|---|
| 005 | 20250930122436.0 | ||
| 008 | 070206s2005 my a m 000 0 eng | ||
| 039 | 9 |
_a200709170954 _bjamain _y02-06-2007 _znorehan |
|
| 090 | _aQA76.9.A25A478 2005 3 tesis | ||
| 090 |
_aQA76.9.A25 _bA478 2005 |
||
| 100 | 1 | _aAl-Refai, Hasan Moh'd Hasan | |
| 245 | 1 | 0 |
_aDecidable bisimulation technique in the SPI-Calculus for cryptographic protocols / _cHasan Moh'd Hasan Al-Refai |
| 260 |
_aBangi : _bFakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, _c2005 |
||
| 300 |
_axiv, 220 p. : _bill. ; _c30 cm. |
||
| 502 | _aThesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2005 | ||
| 504 | _aRerefences : p. [191]-198 | ||
| 610 | 2 | 0 |
_aUniversiti Kebangsaan Malaysia _xDissertations _962865 |
| 650 | 0 |
_aDissertations, Academic _zMalaysia _962866 |
|
| 650 | 0 | _aCryptography | |
| 650 | 0 | _aComputer security | |
| 650 | 0 |
_aTelecommunication systems _xSecurity measures |
|
| 907 |
_a.b13856674 _b2021-05-28 _c2019-11-12 |
||
| 942 |
_c3 _n0 _kQA76.9.A25A478 2005 3 tesis |
||
| 914 | _avtls003341189 | ||
| 990 | _ajm/nmk | ||
| 991 | _aFakulti Teknologi dan Sains Maklumat | ||
| 998 |
_anone _b2007-06-02 _cm _da _feng _gmy _y0 _z.b13856674 |
||
| 999 |
_c383070 _d383070 |
||