A Formal Theory of Key Conjuring.

Véronique Cortier (1) , Stéphanie Delaune (1) , Graham Steel (2)

1 CASSIS - Combination of approaches to the security of infinite states systems
2 School of Informatics [Edimbourg]

Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We propose a formalism for detecting computationally feasible key conjuring operations, incorporated into a Dolev-Yao style model of the security API. We show that security in the presence of key conjuring operations is decidable for a particular class of APIs, which includes the key management API of IBM's Common Cryptographic Architecture (CCA).

Domaines: Cryptographie et sécurité [cs.CR]

Véronique Cortier, Stéphanie Delaune, Graham Steel. A Formal Theory of Key Conjuring.. 20th IEEE Computer Security Foundations Symposium - CSF'07, Jul 2007, Venice, Italy. pp.79-96. ⟨inria-00181612⟩