A Framework for Designing Cryptographic Key Management Systems