|
|
Volumn 6, Issue 1-2, 1998, Pages 53-84
|
|
Casper: A compiler for the analysis of security protocols
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGEBRA;
DATA COMMUNICATION SYSTEMS;
DATA STRUCTURES;
ERROR ANALYSIS;
MATHEMATICAL MODELS;
NETWORK PROTOCOLS;
PROGRAM COMPILERS;
SECURITY PROTOCOLS;
SECURITY OF DATA;
|
|
EID: 0031633395
PISSN: 0926227X
EISSN: None
Source Type: Journal
DOI: 10.3233/JCS-1998-61-204 Document Type: Article |
|
Times cited : (211)
|
|
References (32)
|
