位置：成果数据库 > 期刊 > 期刊详情页
Sampling Automata and Programs
  • ISSN号：0304-3975
  • 期刊名称：Theoretical Computer Science
  • 时间：2015.4
  • 页码：125-140
  • 相关项目：基于定理证明的软件脆弱性分析方法研究
作者： Qin Li|Zhe Dang|
同期刊论文项目
基于定理证明的软件脆弱性分析方法研究
期刊论文 24 会议论文 12
同项目期刊论文
基于SPIN的LTL属性分解方法研究
改进的Web注入型脆弱性检测方法
含有析取语义循环的不变式生成改进方法
HyperNE:基于硬件虚拟化的安全高效内核监控模型
整数漏洞研究:安全模型、检测方法和实例
一种面向非干扰的线程程序逻辑
一种自适应的循环不变式生成方法
一种检测具有反分析能力的恶意软件的方法
基于信息流的程序权限控制技术
基于系统虚拟化的安全技术研究
基于硬件虚拟化的单向隔离执行模型
高效的攻击检测与数据融合算法
基于信息流的整数漏洞插装和验证
一种角色分离的信任评估模型
面向危险操作的动态符号执行方法
一种在不可信操作系统内核中高效保护应用程序的方法
引入内可信基的应用程序保护方法
基于硬件虚拟化的安全高效内核监控模型