☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜
本站 11 月 20 日消息，据中国科学院软件研究所官方公众号报道，近日，中国科学院软件研究所可信智能系统研究团队在分组加密算法的差分密码分析方面取得一定进展。
据悉，该工作团队设计了一个面向分组加密算法的领域编程语言 EasyBC，在此基础上提出了通用、可扩展的差分密码分析方法，研制了全自动分析工具平台 EasyBC。
▲ EasyBC 平台流程图，图源 中国科学院软件研究所官方公众号
根据中科院软件研究所披露的信息，我们了解到这项研究成果已被编程语言国际顶级会议POPL 2024录用，并以《EasyBC: 一种用于差分密码分析的密码学专用语言》为题。该研究的通讯作者是软件所计算机科学国家重点实验室的宋富研究员
据悉，分组加密算法（block cipher）是将明文分成多个等长的模块（block），使用对称密钥对每组分别加密或解密，广泛应用于电子邮件加密、银行交易转账等多个领域。
作为极其重要的加密协议组成，主流分组加密算法有中国国家密码管理局颁布的 SM1、SM4 和 SM7，美国政府核定的标准算法 AES 和 3DES。
差分密码分析在评估分组加密算法安全性方面起着核心作用，是标准化分组加密算法不可或缺的安全性分析手段
当前已有的差分密码分析方法在通用性、自动化程度方面存在一定不足，同时建模过程复杂导致用户需要熟悉大量的建模方法及底层分析工具的应用。
为了解决上述问题，研究团队开发了一种专门用于密码学的高级编程语言EasyBC，该语言提供了完整的语法、类型和语义的形式定义，为分组加密算法的安全性自动分析提供了良好的基础。此外，研究团队还提出了三种不同分析精度和性能的差分密码分析方法，这些方法不仅统一和优化了现有的各类加密操作的建模方法，还提出了多种新的建模方法
需要进行改写的内容是：▲EasyBC语言实现的23个加密原语，图片来源中国科学院软件研究所官方公众号
研究团队实现了 23 个加密原语，包括美国国家标准与技术研究院（National Institute of Standards and Technology，NIST）认证加密方案的底层置换算法以及多种常用分组加密算法；并对其中的分组密码原语进行了安全性分析，进而验证了 EasyBC 语言的表达能力以及 EasyBC 工具平台安全性自动分析的有效性。
▲ Word-wise 实现的加密原语差分密码安全性分析结果，图源 中国科学院软件研究所官方公众号
中科院软件研究所表示，该研究对分组加密算法的差分密码分析研究具有重要意义，为后续密码学相关研究者们进行分组加密算法的安全性全自动分析和各类运算操作建模方法性能评估提供了良好的研究基础和平台支撑。
