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

    公开(公告)号:CN112989395A

    公开(公告)日:2021-06-18

    申请号:CN202110465793.4

    申请日:2021-04-28

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

    一种数据管理方法、系统及相关组件

    公开(公告)号:CN110225041A

    公开(公告)日:2019-09-10

    申请号:CN201910516219.X

    申请日:2019-06-14

    Inventor: 于佳 柏建丽 杨明

    Abstract: 本申请公开了一种数据管理方法,所述数据管理方法包括当接收到数据所有权调整请求时,确定数据所有权调整请求对应的目标用户和目标数据;根据所有权列表确定目标数据对应的原所有权组,将目标用户从原所有权组中删除得到新所有权组;对目标数据执行重加密操作得到重加密目标数据,并确定重加密目标数据对应的重加密密钥;向新所有权组中的每一用户发送重加密密钥,以便新所有权组中的用户利用重加密密钥解密重加密目标数据。本申请能够避免数据所有权变更对于云数据的威胁,提高云数据的安全性。本申请还公开了一种数据管理系统、一种计算机可读存储介质及一种电子设备,具有以上有益效果。

    一种针对无线局域网特定目标用户的MAC地址捕获方法

    公开(公告)号:CN103259878B

    公开(公告)日:2015-09-30

    申请号:CN201310135442.2

    申请日:2013-04-18

    Abstract: 本发明的针对无线局域网特定目标用户的MAC地址捕获方法,包括:a).数据获取;b).基于哈希表构建状态集和更新RSSI序列,状态集 记作:;c).更新WLAN的拓扑结构;d).以周期,更新并查找RSSI统计均值最大的第一类STA状态集;e).以周期,更新并查找RSSI统计均值最大的第二类STA状态集;f).判定特定目标用户的MAC地址。本发明的MAC地址捕获方法,支持当前的各种WLAN标准(IEEE 802.11 a/b/g/n),可用无痕迹、非介入的方式,快速捕获特定目标用户所使用的各种WLAN终端设备的MAC地址,具有多用户适用性、网络连通适用性、无线数据量适用性、取证快速性与无痕性的优点。

Patent Agency Ranking