Searching for "Adding Time to a Logic of Authentication." – sorted by Relevance.
-
Adding Time to a Logic of Authentication
- Adding Time to a Logic of Authentication Paul F. Syverson Code 5543 Naval Research Laboratory
- Cited by 42 (8 self) – Add To MetaCart
-
Letters, Volume 35, Issue 13, 1999, Pages 1072-1073
- edge, Belief, and Semantics in the Analysis of Cryptographic Protocols', Journal of Computer Security 1 (1992), pp 317-334 [Syv93a] Syverson, P., 'Adding Time to a Logic of Authentication', Proceedings of the First ACM Conference on Computer and Communications Security (Fairfax VA, Nov 3-5). [Syv94]
- Add To MetaCart
-
An Authentication Logic Supporting Synchronization, Revocation, and Recency
- on adding time to a logic of authentication [12], although related, has a different focus than our work. His
- Cited by 15 (1 self) – Add To MetaCart

