| 专利号 | 2020114353517 | 申请日 | 2020-12-10 | 专利名称 | 一种面向计算机的对称密码形式化描述方法及系统 |
| 授权日 | 2023-01-20 | 专利权人 | 山东大学 | 发明人 | 王美琴;付勇;胡凯;初志辉;陈师尧;杨晨鹤;张际福;孙宇阳;崔佳敏;徐翌豪;牛超 |
| 主分类号 | G06F21/46 | 关键词 | 应用领域 | ||
| 摘要 | 本发明公开了一种面向计算机的对称密码形式化描述方法及系统，包括：将对称密码分解为多个组件函数；根据第i个组件函数中单个操作的输入比特变量，调用级联语句将第i个组件函数的输入级联为输入n1比特变量；根据第i个组件函数中单个操作的输出比特变量，调用分解语句将输出比特变量分解为n2个1比特变量；根据输入n1比特变量和输出比特变量，对第i个组件函数的单个操作进行形式化描述；将n2个1比特变量与第i+1个组件函数进行比特置换后，依次得到对称密码中每个组件函数的形式化描述。提高使用计算机辅助分析对称密码的算法安全性和适用性，解决手动分析对称密码算法实现效率低的问题。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 下一代信息网络产业 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
