000 00499nab a2200145Ia 4500
008 230808s2002 |||||||f |||| 00| 0 eng d
100 _aStubblebine, S,G,
_9819725
100 _aWright, N.T
_9812587
245 3 _aAn Authentication Logic with for mal Semantics Supporting Synchronization ,Revocation and Recency
300 _a256-285 p.
650 _a for mal Methods
_9787881
650 _aProtocols
_9143488
773 _d2002
_tIeee Transactions on Software Engineering
_x00985589
942 _cART
_o51
_pABUL KALAM Library
999 _c770903
_d770903