DocumentCode :
1653435
Title :
Policy-based cryptographic key management: experience with the KRP project
Author :
Branstad, Dennis K. ; Balenson, David M.
Author_Institution :
Network Associates Inc., USA
Volume :
1
fYear :
2000
fDate :
6/22/1905 12:00:00 AM
Firstpage :
103
Abstract :
Policy-based cryptographic key management is powerful, flexible method of creating, distributing, protecting, and destroying cryptographic keys in accordance with an organizational policy governing information security. The Policy-Controlled Cryptographic Key Release project addressed one part of key management. The goals included: (1) developing a formal language for specifying policies indicating to whom and under what conditions a cryptographic key could be accessed; (2) implementing a prototype system for administering (i.e., enforcing) these policies; and (3) experimenting with automated verification tools which analyzed the policies for consistency and completeness. The requirements for the key release policy language and administering systems are identified; the initial language and system design are described; and the lessons learned from the project are summarized. An example key release policy is included
Keywords :
formal verification; management information systems; public key cryptography; software prototyping; systems analysis; KRP project; administering systems; automated verification tools; completeness; consistency; cryptographic key; formal language; information security; key release policy; key release policy language; organizational policy; policy-based cryptographic key management; prototype system; system design; Application software; Cryptography; Electrical capacitance tomography; Energy management; Information security; National security; Power system management; Project management; Protection; Prototypes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings
Conference_Location :
Hilton Head, SC
Print_ISBN :
0-7695-0490-6
Type :
conf
DOI :
10.1109/DISCEX.2000.824968
Filename :
824968
Link To Document :
بازگشت