可信编译构造理论与关键技术
- 作者何炎祥，吴伟著
- 出版社北京：科学出版社
- 标注页数228 页
- 文件页数240 页
- 文件大小27.04 MB
- 出版时间2013
- ISBN9787030364203
内容简介
本书详细介绍了可信编构器造译理论及其关键技术。对可信编译的概念和特征进行了准确定义和描述，总结归纳了各种不同的可信编译器构造方法。针对保证编译对象可信性，介绍了三种不同性质的实现机制。结合具体应用和实践，对可信编译器在可信嵌入式优化、软件测试和绿色编译中的应用进行了研究和探讨。介绍了基于可信编译的构造理论和方法，并对可信编译研究领域面临的挑战和未来发展趋势进行了总结和展望。
同标题推荐
同作者推荐
同出版社推荐
气动弹性设计基础陈桂彬，邹丛青，杨超编著 · 北京市：北京航空航天大学出版社；北京市：北京理工大学出版社；西安市：西北工业大学出版社；哈尔滨市：哈尔滨工业大学出版社；哈尔滨市：哈尔滨工程大学出版社 · 2004
辐射度 光度与色度及其测量金伟其，胡威捷编著 · 北京：北京理工大学出版社；北京：北京航空航天大学出版社；西安：西北工业大学出版社；哈尔滨：哈尔滨工业大学出版社；哈尔滨：哈尔滨工程大学出版社 · 2006
禁毒教育读本 中学版禁毒教育读本编写组编 · 北京：北京出版社；北京：北京教育出版社 · 2001
今日中国美术 中英文本郭晓川主编 · 北京：北京出版社；北京：北京美术摄影出版社 · 2002
我们都是丑小鸭张小娴著 · 北京：北京出版社；北京：北京十月文艺出版社 · 2008
帝都之门北京市文物局，北京市正阳门管理处编 · 北京：北京美术摄影出版社；北京：北京出版社 · 2008
必考词 初中卷《中考必考词》编写组编 · 北京：北京出版社；北京：北京教育出版社 · 2005
铁笔铜墨 刻铜文房把玩与鉴赏 把玩艺术专家版范大鹏主编 · 北京：北京出版社；北京：北京美术摄影出版社 · 2008