专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果13个,建议您升级VIP下载更多相关专利
  • [发明专利]基于相容优化的并行约束求解方法-CN201310200458.7有效
  • 曹琰;魏强;彭建山;尹中旭 - 中国人民解放军信息工程大学
  • 2013-05-24 - 2013-09-11 - G06F17/30
  • 本发明涉及一种基于相容优化的并行约束求解方法,含有下列步骤:1:初始化任务队列;2:如果任务队列中没有搜索向量,则结束;如果有搜索向量,则选择一个作为当前工作任务;3:从所有未赋值的约束变元中选择要赋值的约束变元;4:对要赋值的约束变元的所有可能取值进行赋值,形成新的搜索向量放入任务队列中;5:对新的搜索向量进行并行相容检查;6:如果相容检查发现冲突,则进行回溯分析,重建搜索向量,更新任务队列,执行2;如果相容检查没有发现冲突,且所有约束变元已经赋值,则说明找到了可满足的求解,结束;如果不是所有约束变元已经赋值,则将新构建的搜索向量加入任务队列,执行2;本发明实现了约束求解的并行高效执行。
  • 基于相容优化并行约束求解方法
  • [发明专利]一种动静态结合的软件安全性测试方法-CN201110315845.6有效
  • 魏强;王清贤;曹琰;彭建山;尹中旭;刘杰;欧阳永基 - 中国人民解放军信息工程大学
  • 2011-10-17 - 2012-02-22 - G06F11/36
  • 本发明涉及一种计算机软件安全性测试方法。一种动静态结合的软件安全性测试方法,首先,将可执行程序进行反汇编及中间语言转换,生成文件的函数调用图和控制流图;然后通过对函数调用图的静态分析,找到系统脆弱点,并利用动态分析方法构造测试用例生成执行路径;再以函数调用图为基础,寻找其被调用的函数,如果该函数处于前述生成的执行路径上,则控制流图在基本块一级找到触发该脆弱点的具体路径,则该敏感点对应的漏洞挖掘过程结束;如果无法找到该路径,则重新构造测试用例生成执行路径,寻找其被调用的函数,如此往复循环。本发明较好解决了单一依靠Fuzz动态测试带来的路径状态空间爆炸的问题,大大提高了路径覆盖的命中率和软件测试分析的效率。
  • 一种静态结合软件安全性测试方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top