-
公开(公告)号：CN116775127A
公开(公告)日：2023-09-19
申请号：CN202310598471.6
申请日：2023-05-25
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于RetroWrite框架的静态符号执行插桩方法，属于计算机技术领域。解决了现有技术中符号执行插桩方法在闭源程序运行时开销较大的问题；本发明包括以下步骤：S1.访问闭源的C/C++程序中的各个用户自定义函数；S2.访问函数中的各个基本块；S3.顺序访问指令；S4.进行指令级插桩，为赋值、调用、运算和条件类指令进行功能插桩；S5.进行基本块插桩，在基本块的出口进行辅助插桩；S6.进行函数级插桩，在函数的入口和出口进行辅助插桩。本发明面向闭源程序通用高效，有效降低了运行时非求解开销，在扩展使用范围的同时，提高了混合模糊测试的速度，可以应用于软件测试。
-
Patent Agency Ranking
公开(公告)号：CN113365275B
公开(公告)日：2022-05-13
申请号：CN202110661877.5
申请日：2021-06-15
Applicant: 哈尔滨工业大学
Abstract: 基于红外通信的身份认证系统和方法，涉及红外点阵多信号处理方法及身份认证领域。解决了现有红外认证方式认证效率低的问题。本发明每个用户端，用于生成的携带有时间戳的字符串，并转化为红外信号；接收端，用于将接收的每个红外信号转化为数字信号，并通过第一数据库内的第一认证信息对各数字信号进行初步认定，并将初步认定合格的数字信号发送至安全认证服务端；安全认证服务端，对所接收的各初步认定合格的数字信号进行解密，当各解密后的数字信号中的时间戳认证成功后，再将时间戳认证成功后的数字信号分别与第二数据库内相应的第二认证信息进行匹配，并将其匹配结果作为认证结果发送至相应的用户端。本发明主要用于进行身份认证。
-
公开(公告)号：CN113365275A
公开(公告)日：2021-09-07
申请号：CN202110661877.5
申请日：2021-06-15
Applicant: 哈尔滨工业大学
Abstract: 基于红外通信的身份认证系统和方法，涉及红外点阵多信号处理方法及身份认证领域。解决了现有红外认证方式认证效率低的问题。本发明每个用户端，用于生成的携带有时间戳的字符串，并转化为红外信号；接收端，用于将接收的每个红外信号转化为数字信号，并通过第一数据库内的第一认证信息对各数字信号进行初步认定，并将初步认定合格的数字信号发送至安全认证服务端；安全认证服务端，对所接收的各初步认定合格的数字信号进行解密，当各解密后的数字信号中的时间戳认证成功后，再将时间戳认证成功后的数字信号分别与第二数据库内相应的第二认证信息进行匹配，并将其匹配结果作为认证结果发送至相应的用户端。本发明主要用于进行身份认证。
-
公开(公告)号：CN116775127B
公开(公告)日：2024-05-28
申请号：CN202310598471.6
申请日：2023-05-25
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于RetroWrite框架的静态符号执行插桩方法，属于计算机技术领域。解决了现有技术中符号执行插桩方法在闭源程序运行时开销较大的问题；本发明包括以下步骤：S1.访问闭源的C/C++程序中的各个用户自定义函数；S2.访问函数中的各个基本块；S3.顺序访问指令；S4.进行指令级插桩，为赋值、调用、运算和条件类指令进行功能插桩；S5.进行基本块插桩，在基本块的出口进行辅助插桩；S6.进行函数级插桩，在函数的入口和出口进行辅助插桩。本发明面向闭源程序通用高效，有效降低了运行时非求解开销，在扩展使用范围的同时，提高了混合模糊测试的速度，可以应用于软件测试。
-
公开(公告)号：CN116633830B
公开(公告)日：2024-01-23
申请号：CN202310597940.2
申请日：2023-05-25
Applicant: 哈尔滨工业大学
IPC: H04L43/18 , H04L9/40 , H04L41/142 , G06N3/006
Abstract: 本发明公开了一种基于萤火虫算法的种子变异操作调度方法，属于协议模糊测试技术领域。解决了现有技术中协议模糊测试整体效果不稳定的问题；本发明包括以下步骤：S1.借助萤火虫算法建立变异操作调度模型；S2.计算变异操作效能；S3.调整变异操作权重值；S4.增加变异操作奖励机制和惩罚机制；S5.运行变异操作选择算法，选择出具体变异操作。本发明变异操作调度方法可以减少或增加相应变异操作权重值，最终保证各变异操作效能值lighti数值差距不大，保障了协议模糊测试整体效果稳定，且可以实现变异操作调度较大概率选择效率更好的种子进行模糊测试，从而提高了协议模糊测试运行效率，可以应用于协议模糊测试。(56)对比文件Huhua Li;Dongyang Zhan;Tianrui Liu;Lin Ye.Using Deep-Learning-Based MemoryAnalysis for Malware Detection in Cloud.《2019 IEEE 16th International Conferenceon Mobile Ad Hoc and Sensor SystemsWorkshops (MASSW)》.2020,全文.任静敏;潘大志.一种改进的模拟退火萤火虫混合算法求解0/1背包问题.绵阳师范学院学报.2020,(02),全文.
-
公开(公告)号：CN116633830A
公开(公告)日：2023-08-22
申请号：CN202310597940.2
申请日：2023-05-25
Applicant: 哈尔滨工业大学
IPC: H04L43/18 , H04L9/40 , H04L41/142 , G06N3/006
Abstract: 本发明公开了一种基于萤火虫算法的种子变异操作调度方法，属于协议模糊测试技术领域。解决了现有技术中协议模糊测试整体效果不稳定的问题；本发明包括以下步骤：S1.借助萤火虫算法建立变异操作调度模型；S2.计算变异操作效能；S3.调整变异操作权重值；S4.增加变异操作奖励机制和惩罚机制；S5.运行变异操作选择算法，选择出具体变异操作。本发明变异操作调度方法可以减少或增加相应变异操作权重值，最终保证各变异操作效能值lighti数值差距不大，保障了协议模糊测试整体效果稳定，且可以实现变异操作调度较大概率选择效率更好的种子进行模糊测试，从而提高了协议模糊测试运行效率，可以应用于协议模糊测试。
-
-
-
-
-
Search Results
6
records
(took 0.039 seconds)
