• 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