-
公开(公告)号：CN116346692A
公开(公告)日：2023-06-27
申请号：CN202310128622.1
申请日：2023-02-17
Applicant: 浙江大学 , 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室))
Abstract: 本发明公开了一种基于状态变量推断的物联网可信执行环境内核模糊测试方法和系统，属于物联网可信执行环境内核测试领域。方法包括：基于文档分析构建测试样例模板文件辅助模糊测试进行；基于硬件仿真器的模糊测试执行反馈信息收集；采用主动测试方法的物联网可信执行环境内核状态变量结构体成员推断；综合测试样例代码覆盖信息与系统状态信息对模糊测试种子进行评分，优选高分数种子进行模糊测试。本发明设计的基于状态变量推断的物联网可信执行环境内核模糊测试方法和系统能够对物联网可信执行环境内核进行高效率的测试。
-
公开(公告)号：CN114840856B
公开(公告)日：2024-07-23
申请号：CN202210449651.3
申请日：2022-04-26
Applicant: 浙江大学
Abstract: 本发明公开了一种状态感知的物联网可信执行环境模糊测试方法和系统，属于物联网可信执行环境测试领域。方法包括：基于文档分析和程序分析构建具有依赖关系的物联网可信执行环境测试样例模板；对物联网可信应用执行日志得到原始种子队列进行模糊测试并收集运行时返回值、覆盖率、全局变量值等反馈信息；基于模型学习算法构建可信执行环境状态机，并优化符合状态机的测试样例，保存到种子文件；根据反馈信息与状态机，对不同种子分配和更新选择概率；根据选择概率挑选种子进行模糊测试，并使用反馈信息动态优化状态机。本发明设计的基于状态感知的模糊测试方法和系统能够对物联网可信执行环境进行高效率、深层次、状态感知的测试。
-
公开(公告)号：CN116541268A
公开(公告)日：2023-08-04
申请号：CN202310227211.8
申请日：2023-03-10
Applicant: 浙江大学滨江研究院
IPC: G06F11/36
Abstract: 本发明公开了一种上下文感知依赖引导的内核模糊测试用例变异方法和系统，属于软件安全与操作系统内核测试技术领域。方法包括：动态收集并最小化高潜力的系统调用序列集合作为训练集；基于神经网络语言模型对训练集中蕴含的依赖关系进行建模，并在变异阶段利用语言模型实现上下文感知依赖引导的变异，帮助选择适应当前上下文的系统调用、建立起有效的状态路径；交替切换探索、利用两个阶段，通过上界置信算法动态调度变异操作以兼顾测试的多样性和效率，避免陷入局部最优；重复以上步骤直至模糊测试结束。本发明能够提升测试用例质量，实现对内核深层代码逻辑的触发，实现覆盖率和漏洞挖掘效率的优化。
-
公开(公告)号：CN114610640A
公开(公告)日：2022-06-10
申请号：CN202210291113.6
申请日：2022-03-23
Applicant: 浙江大学
IPC: G06F11/36
Abstract: 本发明公开了一种面向物联网可信执行环境的模糊测试方法和系统，包括：根据目标物联网可信执行环境文档使用的内核函数与实体，构建测试模板文件；收集可信执行环境系统内核接受的合法系统调用序列作为种子文件；对模糊测试工具生成与变异阶段产生的测试样例进行翻译，产生有效载荷；设计用户端应用与可信应用完成有效载荷的转发、翻译与执行；使用硬件仿真器高效地完成数据写入与可信执行环境内核执行状态信息获取；利用获取的反馈信息进一步指导模糊测试高效进行。该方法和系统使得模糊测试工具能够对目标物联网可信执行环境内核进行高效、可扩展的安全性测试。
-
Patent Agency Ranking
公开(公告)号：CN114841124A
公开(公告)日：2022-08-02
申请号：CN202210331439.7
申请日：2022-03-30
Applicant: 浙江大学
IPC: G06F40/14 , G06F40/279 , G06F40/205 , G06N3/04 , G06N3/08 , G06F16/33 , G06F16/332 , G06K9/62
Abstract: 本发明公开了一种基于问答模型的第三方组件文档细粒度自动化提取方法及系统，属于第三方组件测试技术领域。系统包括：第三方组件文档预处理模块，对第三方组件文档进行初步过滤，获取粗粒度的第三方组件使用规则；文档问答树构建模块，深度分析第三方组件误用类型，为每一类误用类型设计查询问题，根据问题对待测文档进行人工标记；基于问答的第三方组件使用规则提取模块，采用基于RoBERTa模型的自然语言处理模型对文档进行问答式信息提取，获得与第三方组件相关的细粒度使用规则。本发明的系统解决了无统一格式的第三方组件文档粗粒度提炼问题，能够对第三方组件文档中的使用规则进行细粒度自动化提取。
-
公开(公告)号：CN114840856A
公开(公告)日：2022-08-02
申请号：CN202210449651.3
申请日：2022-04-26
Applicant: 浙江大学
Abstract: 本发明公开了一种状态感知的物联网可信执行环境模糊测试方法和系统，属于物联网可信执行环境测试领域。方法包括：基于文档分析和程序分析构建具有依赖关系的物联网可信执行环境测试样例模板；对物联网可信应用执行日志得到原始种子队列进行模糊测试并收集运行时返回值、覆盖率、全局变量值等反馈信息；基于模型学习算法构建可信执行环境状态机，并优化符合状态机的测试样例，保存到种子文件；根据反馈信息与状态机，对不同种子分配和更新选择概率；根据选择概率挑选种子进行模糊测试，并使用反馈信息动态优化状态机。本发明设计的基于状态感知的模糊测试方法和系统能够对物联网可信执行环境进行高效率、深层次、状态感知的测试。
-
公开(公告)号：CN114663962A
公开(公告)日：2022-06-24
申请号：CN202210543484.9
申请日：2022-05-19
Applicant: 浙江大学
Abstract: 本发明公开了一种基于图像补全的唇形同步人脸伪造生成方法及系统，属于人工智能人脸生成领域。包括：获取人脸视频及对应的音频，将视频帧和音频帧对齐，提取多帧的人脸图像、头部姿态参数和梅尔频谱作为训练样本；对人脸图像进行预处理，生成擦除嘴部后的面部图像；对人脸伪造生成模型进行训练，利用训练好的人脸伪造生成模型，生成针对特定音频下嘴部动作的伪造人脸图像。本发明在面部生成时采用了图像补全的技术，在只修改嘴部的前提下生成因人物表达内容不一致造成的嘴部差异。相较于传统的人脸伪造生成方法，本发明提供了唇形同步功能，在视频和音频结合上进行伪造生成，且不修改面部或背景的其余位置，能够达到更逼真的伪造效果。
-
公开(公告)号：CN114610640B
公开(公告)日：2024-08-30
申请号：CN202210291113.6
申请日：2022-03-23
Applicant: 浙江大学
IPC: G06F11/36
Abstract: 本发明公开了一种面向物联网可信执行环境的模糊测试方法和系统，包括：根据目标物联网可信执行环境文档使用的内核函数与实体，构建测试模板文件；收集可信执行环境系统内核接受的合法系统调用序列作为种子文件；对模糊测试工具生成与变异阶段产生的测试样例进行翻译，产生有效载荷；设计用户端应用与可信应用完成有效载荷的转发、翻译与执行；使用硬件仿真器高效地完成数据写入与可信执行环境内核执行状态信息获取；利用获取的反馈信息进一步指导模糊测试高效进行。该方法和系统使得模糊测试工具能够对目标物联网可信执行环境内核进行高效、可扩展的安全性测试。
-
公开(公告)号：CN114663962B
公开(公告)日：2022-09-16
申请号：CN202210543484.9
申请日：2022-05-19
Applicant: 浙江大学
Abstract: 本发明公开了一种基于图像补全的唇形同步人脸伪造生成方法及系统，属于人工智能人脸生成领域。包括：获取人脸视频及对应的音频，将视频帧和音频帧对齐，提取多帧的人脸图像、头部姿态参数和梅尔频谱作为训练样本；对人脸图像进行预处理，生成擦除嘴部后的面部图像；对人脸伪造生成模型进行训练，利用训练好的人脸伪造生成模型，生成针对特定音频下嘴部动作的伪造人脸图像。本发明在面部生成时采用了图像补全的技术，在只修改嘴部的前提下生成因人物表达内容不一致造成的嘴部差异。相较于传统的人脸伪造生成方法，本发明提供了唇形同步功能，在视频和音频结合上进行伪造生成，且不修改面部或背景的其余位置，能够达到更逼真的伪造效果。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.045 seconds)
