可信编译理论及其核心实现技术:研究综述
何炎祥 1,2+ , 吴伟 2 , 刘陶 2 , 李清安2 , 陈勇 2 , 胡明昊2 , 刘健博2 , 石谦 2
Theory and Key Implementation Techniques of Trusted Compiler: A Survey
HE Yanxiang 1,2+, WU Wei 2, LIU Tao 2, LI Qingan 2, CHEN Yong 2, HU Minghao 2, LIU Jianbo 2,SHI Qian 2
计算机科学与探索 . 2011, (1): 1 -22 .  DOI: 10.3778/j.issn.1673-9418.2011.01.001