[发明专利]一种基于多目标粒子群算法的程序控制流证明方法在审
| 申请号： | 202210240839.7 | 申请日： | 2022-03-10 |
| 公开（公告）号： | CN114611106A | 公开（公告）日： | 2022-06-10 |
| 发明（设计）人： | 沈韬;李洪超;沈昌祥 | 申请（专利权）人： | 昆明理工大学 |
| 主分类号： | G06F21/56 | 分类号： | G06F21/56;G06F21/52;G06F21/44;G06F21/64;G06N3/00 |
| 代理公司： | 昆明明润知识产权代理事务所(普通合伙) 53215 | 代理人： | 王鹏飞 |
| 地址： | 650093 云*** | 国省代码： | 云南;53 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种基于多目标粒子群算法的程序控制流证明方法，属于计算机信息远程证明技术领域。本发明通过多目标粒子群算法得到最优插桩方案，根据该方案获取目标程序所有可能的控制流数据，将每种输入范围下的控制流数据的哈希值和输入范围存储到服务器。设备收到服务器发起的请求后，根据请求中的输入运行目标程序，在可信执行环境中对动态控制流数据进行哈希运算得到哈希值，对哈希值和请求进行签名生成报告，发送给服务器。服务器收到报告后先验签，再检查请求是否正确，最后将哈希值和预期哈希值进行对比。本发明可以使得资源受限的设备能够以较低的性能开销获得极高的安全性。 | ||
| 搜索关键词： | 一种 基于 多目标 粒子 算法 程序控制 证明 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于昆明理工大学，未经昆明理工大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210240839.7/，转载请声明来源钻瓜专利网。
- 上一篇：一种PLC水泥磨多传感器负荷检测处理方法
- 下一篇：运动平台的控制方法及系统
