On the Development of a Protection Profile Module for Encryption Key Management Components | IEEE Journals & Magazine | IEEE Xplore