Ceremonies Design for PKI's Hardware Security Modules

• Jean Everson Martina University of Cambridge
• Túlio Cícero Salvaro de Souza UFSC
• Ricardo Felipe Custódio UFSC

DOI: https://doi.org/10.5753/sbseg.2009.20627

Resumo

Cerimônias são ferramentas muito úteis para Módulos de Segurança Criptográficos em ambientes de ICP. Elas descrevem os procedimentos e cenários de uso. Sua correta construção nos permite uma operação mais segura. O presente artigo apresentas as cerimônias básicas para o gerenciamento do ciclo de vida de chaves criptográficas e idéias de requerimentos necessários para assegurar a segurança de um MSC executando os protocolos OpenHSM. São apresentadas cerimônias para tornar o protocolo OpenHSM operacional estabelecendo os blocos básicos que podem ser usados por quaisquer aplicações baseadas em um MSC. Nossas contribuições são o re-uso de fases de cerimônias e a proposição de métodos formais para verificá-las.

Palavras-chave: Key management protocol, Hardware Security Modules, Ceremony Design, Ceremony Analysis

Referências

Bella, G. (2007). Formal Correctness of Security Protocols, volume XX of Information Security and Cryptography. Springer Verlag.

Bensalem, S., Ganesh, V., Lakhnech, Y., Munoz, C., Owre, S., Rue, H., Rushby, J., Rusu, V., Sadi, H., Shankar, N., Singerman, E., and Tiwari, A. (2000). An overview of SAL. Technical report.

Brainard, J., Juels, A., Rivest, R. L., Szydlo, M., and Yung, M. (2006). Fourth-factor authentication: somebody you know. In Proceedings of the 13th Conference on Computer and Communications security, pages 168–178, New York, NY. ACM.

Chokhani, S., Ford, W., Sabett, R., Merrill, C., and Wu, S. (2003). Internet X.509 Public Key Infrastructure Certificate Policy and Certification Practices Framework. RFC 3647 (Informational).

de Souza, T. C. S., Martina, J. E., and Custódio, R. F. (2008). Audit and backup procedures for hardware security modules. In Proceedings of the 7th Symposium on Identity and Trust on the Internet, New York, NY. ACM.

Ellison, C. (2002). Improvements on conventional pki wisdom. In Proceedings of the First Annual PKI Research Workshop, Gaithersburg, MD.

Ellison, C. (2007). Ceremony design and analysis. Cryptology ePrint Archive, Report 2007/399. http://eprint.iacr.org/.

Estrutura de Chaves Públicas Brasileira (2007). Manual de Condutas Técnicas 7 Vol I (MCT 7 Vol. I) versão 1.0. Technical report, Instituto Nacional de Tecnologia da Informa cão ITI.

FIPS (2002). Security requirements for cryptographic modules, FIPS PUB 140-2.

Gordon, M. J. C. (1993). Introduction to HOL: A Theorem Proving Environment. Cambridge University Press.

Martina, J. E., de Souza, T. C. S., and Custódio, R. F. (2007). Openhsm: An open key life cycle protocol for public key infrastructures hardware security modules. In Fourth European PKI Workshop: Theory and Practice, volume 4582 of LNCS, pages 220– 235. Springer-Verlag.

Rede Nacional de Ensino e Pesquisa (2009). ICPEDU Infraestrutura de Chaves Pblicas para Pesquisa e Ensino . https://www.icp.edu.br/.

Ruksenas, R., Curzon, P., and Blandford, A. (2007). Detecting cognitive causes of confidentiality leaks. In First International Workshop on Formal Methods for Interactive Systems, volume 183 of ENTCS, pages 21–38.

Ruksenas, R., Curzon, P., and Blandford, A. (2008). Modelling and analysing cognitive causes of security breaches. Innovations in Systems and Software Engineering, 4(2):143–160.

Spira, L. F. (1999). Ceremonies of governance: Perspectives on the role of the audit committee. Journal of Management and Governance, 3:231–260(30).