Hardware Requirements for Secure Computer Systems: A Framework | IEEE Conference Publication | IEEE Xplore