Universally Composable Key-Management-Reference-Cited by-同舟云学术

Universally Composable Key-Management

Published:2013 Issue: Volume: Page:327-344
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kremer Steve,Künnemann Robert,Steel Graham

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40203-6_19

Reference17 articles.

1. RSA Security Inc.: PKCS #11: Cryptographic Token Interface Standard v2.20 (June 2004)

2. IBM: CCA Basic Services Reference and Guide (October 2006), http://www-03.ibm.com/security/cryptocards/pdfs/bs327.pdf

3. Trusted Computing Group: TPM Specification version 1.2. Parts 1–3, revision 103 (2007), http://www.trustedcomputinggroup.org/resources/tpm_main_specification

4. Cachin, C., Chandran, N.: A secure cryptographic token interface. In: Proc. 22th IEEE Computer Security Foundation Symposium, CSF 2009, pp. 141–153. IEEE Comp. Soc. Press (2009)

5. Kremer, S., Steel, G., Warinschi, B.: Security for key management interfaces. In: Proc. 24th IEEE Computer Security Foundations Symposium, CSF 2011, pp. 66–82. IEEE Comp. Soc. Press (2011)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation;Computer Security – ESORICS 2020;2020

2. A Machine-Checked Proof of Security for AWS Key Management Service;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06

3. Run-Time Attack Detection in Cryptographic APIs;2017 IEEE 30th Computer Security Foundations Symposium (CSF);2017-08

4. An efficient protocol for secure multicast key distribution in the presence of adaptive adversaries;Science China Information Sciences;2016-09-28

5. Analysis of Key Wrapping APIs: Generic Policies, Computational Security;2016 IEEE 29th Computer Security Foundations Symposium (CSF);2016-06