An authentication logic with formal semantics supporting synchronization, revocation, and recency

IEEE Transactions on Software Engineering

Volumn 28, Issue 3, 2002, Pages 256-285

  Stubblebine, Stuart G ^a,b   Wright, Rebecca N ^a,c  

^a IEEE

^b Stubblebine Research Labs LLC   (United States)

^c AT AND T LABS RESEARCH   (United States)

Author keywords

Authentication; Authentication logic; Clock synchronization; Computer security; Distributed systems security; Formal methods; Protocol analysis; Reasoning about time; Recent secure authentication; Revocation; Security analysis; Security policies

Indexed keywords

AUTHENTICATION LOGIC;

CONCURRENT ENGINEERING; DISTRIBUTED COMPUTER SYSTEMS; NETWORK PROTOCOLS; PUBLIC KEY CRYPTOGRAPHY; SECURITY OF DATA; SEMANTICS; SYNCHRONIZATION;

FORMAL LOGIC;

EID: 0036504654     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.991320     Document Type: Article

References (23)

1. A calculus for access control in distributed systems
2. A calculus for cryptographic protocols: The spi calculus
3. A semantics for a logic of authentication
4. A logic of authentication
5. A semantics for BAN logic
6. S/MIME version 2 message specification
7. S/MIME version 2 certificate handling
8. The SSL protocol version 3.0
9. Reasoning about belief in cryptographic protocols
10. Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
11. The kerberos network authentication service (V5)
12. Authentication in distributed systems: Theory and practice
13. An augmentation of BAN-like logics
14. Kerberos: An authentication service for computer networks
15. Recent-secure authentication: Enforcing revocation in distributed systems
16. An authentication logic supporting synchronization, revocation, and recency
17. A unified cryptographic protocol logic
18. Adding time to a logic of authentication
19. Formal semantics for authentication logics