@article{
year	={2013},
issn	={0925-1022},
journal	={Designs, Codes and Cryptography},
doi	={10.1007/s10623-013-9852-1},
title	={Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal},
url	={http://dx.doi.org/10.1007/s10623-013-9852-1},
publisher ={Springer US},
keywords ={Key exchange; Security models; Protocol transformations; Perfect forward secrecy; Ephemeral-key reveal; Actor compromise; 94A60 Cryptography},
author	={Cremers, Cas and Feltz, Michèle},
pages	={1--36},
language ={English}
}