|
|
Volumn 7, Issue 2, 1999, Pages 89-146
|
|
Towards a completeness result for model checking of security protocols
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER AIDED SOFTWARE ENGINEERING;
COMPUTER SIMULATION;
CRYPTOGRAPHY;
ERROR DETECTION;
LARGE SCALE SYSTEMS;
ONLINE SEARCHING;
SECURITY OF DATA;
MODEL CHECKING;
SECURITY PROTOCOLS;
STATE EXPLORATION TOOL;
NETWORK PROTOCOLS;
|
|
EID: 0033353968
PISSN: 0926227X
EISSN: None
Source Type: Journal
DOI: 10.3233/JCS-1999-72-302 Document Type: Article |
|
Times cited : (72)
|
|
References (27)
|
