Universally Composable Key-Management
Steve Kremer, Robert Künnemann, and Graham Steel. Universally Composable Key-Management. In Proceedings of the 18th European Symposium on Research in Computer Security (ESORICS'13), pp. 327–344, Lecture Notes in Computer Science 8134, Springer, Egham, UK, September 2013.
doi:10.1007/978-3-642-40203-6_19
Download
[PDF] [PDF (long version)] [HTML]
Abstract
We present the first universally composable key-management functionality, formalized in the GNUC framework by Hofheinz and Shoup. It allows the enforcement of a wide range of security policies and can be extended by diverse key usage operations with no need to repeat the security proof.We illustrate its use by proving an implementation of a security token secure with respect to arbitrary key-usage operations and explore a proof technique that allows the storage of cryptographic keys externally, a novel development in simulation-based security frameworks.
BibTeX
@inproceedings{KKS-esorics13,
abstract = {We present the first universally composable
key-management functionality, formalized in the GNUC
framework by Hofheinz and Shoup. It allows the
enforcement of a wide range of security policies and
can be extended by diverse key usage operations with
no need to repeat the security proof.We illustrate
its use by proving an implementation of a security
token secure with respect to arbitrary key-usage
operations and explore a proof technique that allows
the storage of cryptographic keys externally, a
novel development in simulation-based security
frameworks.},
address = {Egham, UK},
author = {Kremer, Steve and K{\"u}nnemann, Robert and Steel, Graham},
booktitle = {{P}roceedings of the 18th {E}uropean {S}ymposium on {R}esearch in {C}omputer {S}ecurity (ESORICS'13)},
DOI = {10.1007/978-3-642-40203-6_19},
editor = {Crampton, Jason and Jajodia, Sushil},
month = sep,
pages = {327-344},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Universally Composable Key-Management},
volume = {8134},
year = {2013},
acronym = {{ESORICS}'13},
nmonth = {9},
url = {https://members.loria.fr/skremer/files/Papers/KKS-esorics13.pdf},
}