|
Volumn 42, Issue 1, 2002, Pages 96-99
|
BAN-like logic for cryptographic protocols analysis: A survey
a
|
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 |
Times cited : (5)
|
References (13)
|