메뉴 건너뛰기




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

BAN-like logic for cryptographic protocols analysis: A survey

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;

EID: 0036045935     PISSN: 10000054     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (5)

References (13)
  • 12
    • 0033353968 scopus 로고    scopus 로고
    • Towards a completeness result for model checking of security protocols
    • (1999) J. Computer Security , vol.7 , Issue.2-3 , pp. 89-146
    • Lowe, G.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.