000 00475nab a2200157Ia 4500
008 230808s1997 |||||||f |||| 00| 0 eng d
100 _aLowe, Gavin
_9781965
100 _aRoscoe, Bili
_9781967
245 0 _aUsing Csp to Detect Errors InTmn Protocol
300 _a659-669 p.
650 _aSecurity Protocols
_9780461
650 _aKey Establishment
_9718448
650 _aCsp
_9733340
773 _d1997
_tIEEE Transactions on Software Engineering
_x00985589
942 _cART
_o51
_pABUL KALAM Library
999 _c745905
_d745905