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 |