一种基于多目标粒子群算法的程序控制流证明方法
公开
摘要
本发明涉及一种基于多目标粒子群算法的程序控制流证明方法，属于计算机信息远程证明技术领域。本发明通过多目标粒子群算法得到最优插桩方案，根据该方案获取目标程序所有可能的控制流数据，将每种输入范围下的控制流数据的哈希值和输入范围存储到服务器。设备收到服务器发起的请求后，根据请求中的输入运行目标程序，在可信执行环境中对动态控制流数据进行哈希运算得到哈希值，对哈希值和请求进行签名生成报告，发送给服务器。服务器收到报告后先验签，再检查请求是否正确，最后将哈希值和预期哈希值进行对比。本发明可以使得资源受限的设备能够以较低的性能开销获得极高的安全性。
基本信息
专利标题 ：
一种基于多目标粒子群算法的程序控制流证明方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114611106A
申请号 ：
CN202210240839.7
公开（公告）日 ：
2022-06-10
申请日 ：
2022-03-10
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
沈韬李洪超沈昌祥
申请人 ：
昆明理工大学
申请人地址 ：
云南省昆明市五华区学府路253号
代理机构 ：
昆明明润知识产权代理事务所(普通合伙)
代理人 ：
王鹏飞
优先权 ：
CN202210240839.7
主分类号 ：
G06F21/56
IPC分类号 ：
G06F21/56 G06F21/52 G06F21/44 G06F21/64 G06N3/00
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F21/00
防止未授权行为的保护计算机、其部件、程序或数据的安全装置
G06F21/50
监控用户、程序或设备，以维护平台完整。例如：处理器、固件或操作系统
G06F21/55
检测本地入侵或实施对策
G06F21/56
计算机恶意软件检测或处理，例如反病毒装置
法律状态
2022-06-10 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
