Sciweavers

Share
CSFW
2011
IEEE

Security for Key Management Interfaces

7 years 11 months ago
Security for Key Management Interfaces
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicable to security proofs in both symbolic and computational models of cryptography. Our definition relies on an idealized API which allows only the most essential functions for generating, exporting and importing keys, and takes into account dynamic corruption of keys. Based on this we can define the security of more expressive APIs which support richer functionality. We illustrate our approach by showing the security of APIs both in symbolic and computational models. Keywords-Key management, security APIs, cryptography
Steve Kremer, Graham Steel, Bogdan Warinschi
Added 18 Dec 2011
Updated 18 Dec 2011
Type Journal
Year 2011
Where CSFW
Authors Steve Kremer, Graham Steel, Bogdan Warinschi
Comments (0)
books