J. Martina, T. Souza, and R. Custódio. " Ceremonies Design for PKI's Hardware Security Modules", in Proceedings of the 9th Brazilian Symposium on Information and Computational Systems Security, Campinas, 2009, pp. 115-128, doi: https://doi.org/10.5753/sbseg.2009.20627.