位置：成果数据库 > 期刊 > 期刊详情页
用SPIN对L4内存管理形式化验证
  • 期刊名称：计算机工程,v35(11),P131-133,2009.6,
  • 时间：0
  • 相关项目：基于缺陷建模的软件脆弱性分析方法研究
同期刊论文项目
基于缺陷建模的软件脆弱性分析方法研究
期刊论文 33 会议论文 5 获奖 2
同项目期刊论文
针对源代码的隐蔽通道标识关键技术和改进方法
基于语义抽象的内存访问错误检测
基于选择机制的实体间最信任路径发现方法
软件脆弱性分类属性研究
基于SSA中间代码表示的源代码信息流分析
软件脆弱性分类方法研究
基于形式化描述测试用例生成的研究与实现
动态安全策略的权限撤消研究
利用类型推理验证Ad hoc安全路由协议
知性Cord逻辑：验证Ad hoc网络匿名路由协议
基于安全属性分解的构件安全性量化和计算
基于分离逻辑的程序验证技术
网络协同取证计算研究
一种基于形式化描述的测试案例生成方法
验证ANODR匿名路由协议
一种基于数据流依赖关系的可信恢复方法
基于逻辑关系和约束的保护轮廓生成模型研究
基于信息流策略的污点传播分析及动态验证
基于硬件虚拟化的单向隔离执行模型
一种基于控制流的程序行为扩展模型
改进的程序时序安全属性模型检测技术
动态安全策略的权限撤销研究
利用类型推理验证AdHoc安全路由协议
基于摘要的内存泄露分析方法改进