国家高技术研究发展计划(2011AA1A202)

作品数：2被引量：2H指数：1
导出分析报告
相关作者：曾庆凯贺志宏吕庆伟更多>>
相关机构：南京大学更多>>
相关期刊：《计算机工程与设计》《计算机应用与软件》更多>>
相关主题：LTLSPIN线性时序逻辑脆弱性WE更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SPIN的LTL属性分解方法研究被引量：2
《计算机应用与软件》2014年第7期43-46,65,共5页贺志宏 曾庆凯 
国家自然科学基金项目(61170070);国家科技支撑计划项目(2012BAK26B01);国家高技术研究发展计划项目(2011AA1A202)
提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模...
关键词：线性时序逻辑属性 模型检测 属性分解 静态程序切片 
改进的Web注入型脆弱性检测方法
《计算机工程与设计》2013年第12期4137-4141,共5页吕庆伟 曾庆凯 
国家自然科学基金项目(61170070);国家科技支撑计划基金项目(2012BAK26B01);国家863高技术研究发展计划基金项目(2011AA1A202)
针对现有Web注入型脆弱性检测方案大多只关注过滤型验证而忽略检查型验证这一不足,提出污染驱动的切片方法。以污点分析指导具体的程序切片过程,能够完整地提取程序中的两种验证操作;借助分步的、攻击者视角的字符串分析对验证操作的验...
关键词：web注入型脆弱性 输入验证 污染驱动的切片 攻击者视角 字符串分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部