位置：成果数据库 > 期刊 > 期刊详情页
可信编译器关键技术研究
  • 期刊名称：计算机工程与科学
  • 时间：0
  • 页码：22-40
  • 语言：中文
  • 相关项目：可信编译理论与实现方法研究
作者： 何炎祥|WU Wei|吴伟|HE Yan-xiang|LIU Tao|刘陶|
同期刊论文项目
可信编译理论与实现方法研究
期刊论文 13 会议论文 4
同项目期刊论文
面向嵌入式系统的威胁建模与风险评估
一种用于类C语言环境的安全的类型化内存模型
程序的动态完整性:模型和方法
基于压缩的代码保护的低开销策略
一种针对C程序缓冲区溢出的检测方法
一种用于C语言环境的安全的类型化内存模型
面向软件行为的需求模型及特性检测
A Visualization Method of Requirement Checking Based on Software Behavior
可信编译理论及其核心实现技术:研究综述
面向行为的需求建模研究及实现
基于编译支持错误跟踪的测试用例自动化生成方法
基于SMT求解器的路径敏感程序验证