List of Criteria for a Secure Computer Architecture | IEEE Conference Publication | IEEE Xplore