TY  - SER
AU  - Stubblebine, S,G,
AU  - Wright, N.T
TI  - An Authentication Logic with  for mal Semantics Supporting Synchronization ,Revocation and Recency
KW  -  for mal Methods
KW  - Protocols
ER  -