位置：成果数据库 > 期刊 > 期刊详情页
Loop Reduction Techniques for Reachability Analysis of Linear Hybrid Automata
  • ISSN号：1009-2757
  • 期刊名称：Science in China - Series F: Information Sciences
  • 时间：0
  • 页码：2663-2674
  • 相关项目：基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
作者： Pan Minxue, Li You, Bu Lei, Li Xuandong|
同期刊论文项目
基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
期刊论文 56 会议论文 43 获奖 8
同项目期刊论文
UML Interaction Model Driven Runtime Verification of Java Programs.
基于动静态程序分析的整形漏洞检测工具
基于结构体随机化的内核Rootkit防御技术
基于语义抽象的内存访问错误检测
基于选择机制的实体间最信任路径发现方法
软件脆弱性分类属性研究
基于分离逻辑的程序验证技术
网络协同取证计算研究
一种基于形式化描述的测试案例生成方法
一种面向非干扰的线程程序逻辑
基于状态机模型的构件健壮性测试
BIOP:自动构造非return结尾的ROP攻击
基于信息流策略的污点传播分析及动态验证
面向方面的计算误差处理技术:实例研究与评估
JITSafe: A framework against JIT Spraying Attacks
面向基于场景规约的Web服务消息流分析与验证
一种目标制导的混合执行测试方法
BACH:线性混成系统有界可达性模型检验工具
Java指针指向分析优化
基于硬件虚拟化的单向隔离执行模型
Timing Analysis of Scenario-Based Specifications
基于封装结构随机化的程序保护方法
基于信息流的整数漏洞插装和验证
一种角色分离的信任评估模型
场景驱动的服务行为调控
改进的程序时序安全属性模型检测技术
动态安全策略的权限撤销研究
静动态结合的Java程序不变性分析方法
BIOP：自动构造增强型ROP攻击
利用类型推理验证AdHoc安全路由协议