“戴勤明”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果5个，建议您升级VIP下载更多相关专利

[发明专利]一种基于值集分析的非结构化差异补丁分析方法-CN202111348410.1有效
发明人：常瑞;林键;戴勤明 -专利权人：杭州戎戍网络安全技术有限公司
申请日： 2021-11-15 - 公布日： 2022-07-05 - 主分类号： G06F21/57 文献下载
摘要：本发明公开一种基于值集分析的非结构化差异补丁分析方法，该方法利用值集分析技术来寻找非结构化差异补丁，以解决传统的结构化补丁比对技术无法发现非结构化差异补丁的问题。该方法提供一种寻找非结构化差异补丁的新方法，针对结构化补丁比对技术检测到的匹配且未发生改变的函数，利用值集分析来恢复函数栈帧并提取函数参数和条件跳转指令中的常量值，最后分别对恢复的函数栈帧利用栈帧匹配算法，以及对函数参数和条件跳转指令中的常量值利用常量匹配算法来发现非结构化差异补丁，这为检测非结构化差异补丁提供了一种实际有效的方法。
一种基于分析结构差异补丁方法

[发明专利]一种基于结构化变异的安卓应用多媒体解析库漏洞挖掘系统及方法-CN202210314159.5在审
发明人：常瑞;熊皓;戴勤明 -专利权人：浙江大学
申请日： 2022-03-28 - 公布日： 2022-06-28 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种基于结构化变异的安卓应用多媒体解析库漏洞挖掘系统及方法,系统包括模块测试方案制定模块、及与模糊测试方案制定模块信号相连的模糊测试模块，模块测试方案制定模块包括依次单向信号相连的多媒体解析接口确定器、多媒体解析接口调用程序生成器和变异方案确定器，模糊测试模块包括双向信号相连的测试数据变异器和模糊测试器,实现了在无源码背景下，在x86平台下展开大规模的对于安卓应用多媒体解析库解析接口的模糊测试，可以更高效地定位其中的内存破坏型漏洞。到目前为止，本发明已经找到三星通用gif解析库中的两个漏洞，分别可以造成远程内存堆块中的越界读和越界写，其中的越界写漏洞被三星官方评级为高危漏洞。
一种基于结构变异应用多媒体解析漏洞挖掘系统方法

[发明专利]一种面向RISC-V架构的启动验证方法-CN202111512346.6在审
发明人：常瑞;李鸿屹;黄何;戴勤明;张行健;苑子琦 -专利权人：浙江大学
申请日： 2021-12-08 - 公布日： 2022-04-12 - 主分类号： G06F21/57 文献下载
摘要：本发明设计了一种面向RISC‑V架构的启动验证方法，所述启动验证方法对一阶段启动加载器进行验证成功后，进一步对二阶段启动加载器进行验证，本发明能够完成多级启动流程的逐级防护，并在各级验证机制的设计上，根据应用场景的不同，在安全性和灵活性上进行调整。提出的验证策略基于信息摘要和数字签名算法，能够在现场可编程门阵列芯片上实现高效运行，以提升系统启动阶段的安全防御能力。
一种面向 risc 架构启动验证方法

[发明专利]一种基于形式化验证的嵌入式设备安全启动方案设计方法-CN202111336512.1在审
发明人：常瑞;黄何;张卓若;李荣泰;戴勤明;毛天宇 -专利权人：浙江大学
申请日： 2021-11-12 - 公布日： 2022-04-08 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种基于形式化验证的嵌入式设备安全启动方案设计方法，基于形式化的分析与验证，通过分析威胁模型，得到安全需求，并以此为基础建立形式化模型，最终转换成安全启动方案，并通过定理证明的方法确保嵌入式设备安全启动方案的可用性和安全性，本发明针对嵌入式系统设备在安全启动过程中存在的安全性问题，提供了一种基于形式化验证的解决方法。该方法系统全面地分析了安全启动过程中所面临的问题，给出具体的安全启动方案设计，并通过使用定理证明的方法给出具体方案的可用性和安全性的证明，本发明不仅可以快速的解决安全启动过程中的威胁，还从理论上证明了方案的安全性和可靠性。
一种基于形式化验证嵌入式设备安全启动方案设计方法

[发明专利]一种面向跨架构漏洞挖掘的符号执行引擎优化方法-CN202011239639.7在审
发明人：常瑞;林键;戴勤明 -专利权人：浙江大学
申请日： 2020-11-09 - 公布日： 2021-02-02 - 主分类号： G06F21/57 文献下载
摘要：本发明公开一种面向跨架构漏洞挖掘的符号执行引擎优化方法，该方法利用活跃变量分析技术和符号表达式预生成技术分别得到路径上每个基本块的活跃输出变量和输入输出变量间关系等基本块摘要信息，并由此构建摘要执行引擎，依据基本块摘要信息对基本块进行快速符号执行。该方法基于基本块摘要的分析来进行优化，具有平台无关性，且能够显著提高符号执行引擎的速度。
一种面向架构漏洞挖掘符号执行引擎优化方法