|
Volumn 113, Issue , 2005, Pages 744-747
|
The study on the application of BAN logic in formal analysis of authentication protocols
|
Author keywords
authentication protocols; BAN logic; formalization analysis
|
Indexed keywords
AUTHENTICATION PROTOCOLS;
BAN LOGIC;
COMPARATIVE STUDIES;
CRITICAL ISSUES;
FORMAL ANALYSIS;
IN-NETWORK;
SAFETY SYSTEM;
AUTHENTICATION;
ELECTRONIC COMMERCE;
NETWORK PROTOCOLS;
NETWORK SECURITY;
|
EID: 77953856139
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/1089551.1089685 Document Type: Conference Paper |
Times cited : (24)
|
References (8)
|