William R. Bevier Warren A. Hunt Jr. William D. Young Toward Verified Execution Environments. 106-115 1987 IEEE Symposium on Security and Privacy db/conf/sp/sp1987.html#BevierHY87