一种SM4密码算法的形式化验证方法及系统

    公开(公告)号:CN112989395B

    公开(公告)日:2022-05-17

    申请号:CN202110465793.4

    申请日:2021-04-28

    Abstract: 本申请公开了一种SM4密码算法的形式化验证方法,所述方法包括:将SM4密码算法的算法参数定义为安全整数类型;其中,所述算法参数包括明文输入、加密结果、密文输入、解密结果、主密钥、密钥常数、轮密钥和s盒参数;确定基于F*框架的算法模块的初始堆,并在所述初始堆的目标缓冲区中添加所述算法参数;利用所述算法参数对所述SM4密码算法的轮密钥生成模块、加密模块和解密模块进行形式化验证,得到所述SM4密码算法的形式化验证结果。本申请能够在SM4密码算法实现过程中保证内存安全、避免受到时间侧信道攻击。本申请还公开了一种SM4密码算法的形式化验证系统,具有以上有益效果。

    一种图上最短路径安全查询方法、装置、系统及存储介质

    公开(公告)号:CN112836078B

    公开(公告)日:2021-10-22

    申请号:CN202110192739.7

    申请日:2021-02-20

    Abstract: 本发明公开了一种图上最短路径安全查询方法、装置、系统及计算机可读存储介质,该方法包括接收客户端发送的查询口令信息,查询口令信息为客户端采用预设加密方法对用户输入的目标图信息、起始顶点信息、终止顶点信息和受限边标签集合进行加密后得到的;依据查询口令信息从预先存储的各个加密图中找到对应的目标加密图,获取目标加密图中加密后的各个顶点、与每个顶点分别对应的各个邻接点;依据加密后的起始顶点信息、终止顶点信息及受限边标签集合,从目标加密图的各个邻接点中确定出满足受限边标签集合的起始顶点至终止顶点的最短路径及最小距离;本发明能够找到满足受限边标签集合的最短路径及最小距离,更能够满足实际需求。

    一种图上最短路径安全查询方法、装置、系统及存储介质

    公开(公告)号:CN112836078A

    公开(公告)日:2021-05-25

    申请号:CN202110192739.7

    申请日:2021-02-20

    Abstract: 本发明公开了一种图上最短路径安全查询方法、装置、系统及计算机可读存储介质,该方法包括接收客户端发送的查询口令信息,查询口令信息为客户端采用预设加密方法对用户输入的目标图像信息、起始顶点信息、终止顶点信息和受限边标签集合进行加密后得到的;依据查询口令信息从预先存储的各个加密图像中找到对应的目标加密图像,获取目标加密图像中加密后的各个顶点、与每个顶点分别对应的各个邻接点;依据加密后的起始顶点信息、终止顶点信息及受限边标签集合,从目标加密图像的各个邻接点中确定出满足受限边标签集合的起始顶点至终止顶点的最短路径及最小距离;本发明能够找到满足受限边标签集合的最短路径及最小距离,更能够满足实际需求。

    一种基于双重预分割的大规模物联网数据收集系统及方法

    公开(公告)号:CN119882575A

    公开(公告)日:2025-04-25

    申请号:CN202510360780.9

    申请日:2025-03-26

    Abstract: 本发明属于机器人控制的技术领域,更具体地,涉及一种基于双重预分割的大规模物联网数据收集系统及方法。所述方法包括:对物联网中的传感器节点进行预分割,将监测区域内的所有传感器节点划分为多个簇,每个簇由一个簇头节点管理;根据无人机数量和数据分布特征,将监测区域划分为多个子区域;基于深度强化学习为无人机群设计无碰撞的飞行路径;无人机根据路径规划过程提供的飞行路径,在检测区域内移动,访问传感器节点并收集数据;同时记录已访问节点和未访问节点的状态。本发明在大规模复杂的物联网环境下,远少于传感器节点数量的无人机即可实现大量数据的采集,并合理规划无人机路径实现无碰撞规划,高效完成节点数据的采集任务。

Patent Agency Ranking