|
Volumn , Issue , 2000, Pages 150-157
|
Towards certificate verification in a certificate management system
|
Author keywords
CA (Certificate Authority); certificate; certificate management systems; certificate verification; formal methods; information security
|
Indexed keywords
FORMAL METHODS;
INFORMATION MANAGEMENT;
SECURITY OF DATA;
CERTIFICATE;
CERTIFICATE AUTHORITY;
CERTIFICATE MANAGEMENT;
ELECTRONIC COMMUNICATIONS;
SECURITY APPLICATION;
STATE-BASED MODELS;
VERIFICATION PROCESS;
VERIFICATION TECHNIQUES;
FORMAL VERIFICATION;
|
EID: 84963829761
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/ACSC.2000.824396 Document Type: Conference Paper |
Times cited : (3)
|
References (11)
|