电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>嵌入式开发>可信编译理论及其核心实现技术:研究综述

可信编译理论及其核心实现技术:研究综述

2011-04-20 | pdf | 1.21 MB | 次下载 | 免费

资料介绍

编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究内容进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1GBT1094.11-2022电力变压器第11部分:干式变压器
  2. 14.12 MB   |  3次下载  |  免费
  3. 2FT-7800R对讲机维修手册附原理图
  4. 3.35 MB   |  2次下载  |  免费
  5. 3串口工具UartAssist5.0.exe
  6. 0.60 MB   |  2次下载  |  免费
  7. 4爬电距离和电气间隙计算
  8. 0.75 MB   |  2次下载  |  1 积分
  9. 5UC3584DW次级侧后置稳压器EVM板原理图
  10. 38.97KB   |  2次下载  |  免费
  11. 6UCC38C42 25瓦自谐振复位正激变换器
  12. 320.6KB   |  1次下载  |  免费
  13. 7ZX-D37 BLE主从一体蓝牙模块技术手册
  14. 1.22 MB   |  1次下载  |  免费
  15. 8使用15个时钟周期的ADS7841和ADS7844
  16. 188.55KB   |  1次下载  |  免费

本月

  1. 1无刷电机控制方案设计合作
  2. 1.05 MB   |  22次下载  |  免费
  3. 2美的超薄电磁炉TM-S1-09B主板原理图
  4. 0.08 MB   |  20次下载  |  免费
  5. 3纯电动汽⻋的主要部件及⼯作原理
  6. 5.76 MB   |  12次下载  |  5 积分
  7. 4GP328和GP88S对讲机的维修实列资料合集免费下载
  8. 0.03 MB   |  10次下载  |  10 积分
  9. 5舒尔SLX4无线话筒接收机原理图:二次变频超外差部分
  10. 0.27 MB   |  8次下载  |  免费
  11. 6IP5385_DEMO开发资料
  12. 1.96 MB   |  7次下载  |  2 积分
  13. 7i.MX Linux开发实战指南—基于野火i.MX系列开发板
  14. 17.86 MB   |  7次下载  |  免费
  15. 8Type-C VL160数据手册
  16. 0.92 MB   |  7次下载  |  3 积分

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935115次下载  |  10 积分
  3. 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
  4. 1.48MB  |  420061次下载  |  10 积分
  5. 3Altium DXP2002下载入口
  6. 未知  |  233084次下载  |  10 积分
  7. 4电路仿真软件multisim 10.0免费下载
  8. 340992  |  191363次下载  |  10 积分
  9. 5十天学会AVR单片机与C语言视频教程 下载
  10. 158M  |  183329次下载  |  10 积分
  11. 6labview8.5下载
  12. 未知  |  81581次下载  |  10 积分
  13. 7Keil工具MDK-Arm免费下载
  14. 0.02 MB  |  73805次下载  |  10 积分
  15. 8LabVIEW 8.6下载
  16. 未知  |  65985次下载  |  10 积分