Miguel F. Bañón Puente. The PKI Secure Kernel Protection Profile. In Roberto Moya, Eduardo Fernández-Medina, editors, Security in Information Systems, Proceedings of the 1st International Workshop on Security in Information Systems, SIS 2002, In conjunction with ICEIS 2002, Ciudad Real, Spain, April 2002. pages 72-80, ICEIS Press, 2002.
Abstract is missing.