BAN-like logic for cryptographic protocols analysis: A survey

Qinghua Daxue Xuebao/Journal of Tsinghua University

Volumn 42, Issue 1, 2002, Pages 96-99

  Zhang, Yuqing ^a   Wu, Jianping ^a   Li, Xing ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

BAN (Burrows, Abadi and Needham) like logic; Cryptographic protocol; Formal method; Protocol analysis

Indexed keywords

COMPUTER NETWORKS; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; NETWORK PROTOCOLS;

BURROWS ABADI NEEDHAM LOGIC; FORMAL METHOD; PROTOCOL ANALYSIS; PROTOCOL IDENTIFICATION;

CRYPTOGRAPHY;

EID: 0036045935     PISSN: 10000054     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. A logic of authentication
2. Prudent engineering practice for cryptographic protocols
3. Towards the formal analysis of security protocols
4. BAN logic for cryptographic protocols analysis and its limitations
5. Reasoning about belief in cryptographic protocols
6. A semantics for a logic of authentication (extended abstract)
7. Extending cryptographic logics of cryptographic logics of belief to key agreement protocols
8. On unifying some cryptographic protocol logics
9. AuTLOG - An advanced logic of authentication
10. Accountability in electronic commerce protocols
11. A HOL extension of GNY for automatically analyzing cryptographic protocols
12. Towards a completeness result for model checking of security protocols
13. The inductive approach to verifying cryptographic protocols