| 可信编译理论及其核心实现技术:研究综述 |
| |
| 引用本文： | 何炎祥,吴伟,刘陶,李清安,陈勇,胡明昊,刘健博,石谦.可信编译理论及其核心实现技术:研究综述[J].计算机科学与探索,2011,5(1):1-22. |
| |
| 作者姓名： | 何炎祥 吴伟 刘陶 李清安 陈勇 胡明昊 刘健博 石谦 |
| |
| 作者单位： | 1. 武汉大学计算机学院,武汉,430072;武汉大学软件工程国家重点实验室,武汉,430072
2. 武汉大学软件工程国家重点实验室,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金重大研究计划 |
| |
| 摘 要： | 编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。
|
| 关 键 词： | 可信编译器 编译正确性 编译器验证 可信软件 |
| 修稿时间： | |
Theory and Key Implementation Techniques of Trusted Compiler: A Survey |
| |
| HE Yanxiang,WU Wei,LIU Tao,LI Qingan,CHEN Yong,HU Minghao,LIU Jianbo,SHI Qian.Theory and Key Implementation Techniques of Trusted Compiler: A Survey[J].Journal of Frontier of Computer Science and Technology,2011,5(1):1-22. |
| |
| Authors: | HE Yanxiang WU Wei LIU Tao LI Qingan CHEN Yong HU Minghao LIU Jianbo SHI Qian |
| |
| Affiliation: | 1. School of Computer, Wuhan University, Wuhan 430072, China 2. State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China |
| |
| Abstract: | |
| |
| Keywords: | trusted compiler correctness of compiling compiler verification trusted software |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
