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