一种SM4密码算法的形式化验证方法及系统
授权
摘要
本申请公开了一种SM4密码算法的形式化验证方法，所述方法包括：将SM4密码算法的算法参数定义为安全整数类型；其中，所述算法参数包括明文输入、加密结果、密文输入、解密结果、主密钥、密钥常数、轮密钥和s盒参数；确定基于F*框架的算法模块的初始堆，并在所述初始堆的目标缓冲区中添加所述算法参数；利用所述算法参数对所述SM4密码算法的轮密钥生成模块、加密模块和解密模块进行形式化验证，得到所述SM4密码算法的形式化验证结果。本申请能够在SM4密码算法实现过程中保证内存安全、避免受到时间侧信道攻击。本申请还公开了一种SM4密码算法的形式化验证系统，具有以上有益效果。
基本信息
专利标题 ：
一种SM4密码算法的形式化验证方法及系统
专利标题（英）：
暂无
公开（公告）号 ：
CN112989395A
申请号 ：
CN202110465793.4
公开（公告）日 ：
2021-06-18
申请日 ：
2021-04-28
授权号 ：
CN112989395B
授权日 ：
2022-05-17
发明人 ：
陈振娅杨明吴晓明杨美红丁青艳穆超王鑫王彪王继志
申请人 ：
山东省计算中心（国家超级计算济南中心）
申请人地址 ：
山东省济南市经十路东首科学院路19号
代理机构 ：
北京集佳知识产权代理有限公司
代理人 ：
杨威
优先权 ：
CN202110465793.4
主分类号 ：
G06F21/60
IPC分类号 ：
G06F21/60 G06F21/46
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F21/00
防止未授权行为的保护计算机、其部件、程序或数据的安全装置
G06F21/60
保护数据
法律状态
2022-05-17 ：
授权
2021-07-06 ：
实质审查的生效
IPC(主分类) : G06F 21/60
申请日 : 20210428
申请日 : 20210428
2021-06-18 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
