买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉杭州电子科技大学申请的专利一种分组密码设计与自动化安全性评估辅助系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119094119B 。

龙图腾网通过国家知识产权局官网在2025-09-23发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411193559.0，技术领域涉及：H04L9/08；该发明授权一种分组密码设计与自动化安全性评估辅助系统是由崔婷婷;贾辰皓;何岩;韩曦;翁天翎;凌清设计研发完成，并于2024-08-28向国家知识产权局提交的专利申请。

本一种分组密码设计与自动化安全性评估辅助系统在说明书摘要公布了：本发明公开了一种分组密码设计与自动化安全性评估辅助系统，包括前端和后端。前端基于RESTful架构设计，包括用户界面、FastAPI和验证模块；后端包括组件函数系统、求解器调用模块、STP求解器和数据解析模块。本发明方法通过接收用户在前端传入的基本数据和轮函数描述，使用解析的方法，将用户自定义加密算法的基本描述和各模块进行链接，利用后台脚本文件自动生成CVC语言文件，利用STP求解器完成了不同攻击模式的自动化搜索与模块化实现；实现了对用户设计的加密算法的安全性进行评估，并返回评估结果报告。目前没有自动化分析工具可以既能对分组加密算法进行有效分析，又能降低对用户的能力要求，本发明填补了这一空白。

本发明授权一种分组密码设计与自动化安全性评估辅助系统在权利要求书中公布了：1.一种分组密码设计与自动化安全性评估辅助系统，其特征在于，包括前端和后端： 所述的前端基于RESTful架构设计，包括用户界面、FastAPI和验证模块；所述用户界面用于用户直观设计自己期望的分组加密算法，用户通过用户界面上传分组加密算法的基本参数如分组加密算法的分组大小、分支数、轮数，使用用户界面提供的函数名设计分组加密算法的轮函数结构和安全自评估类型，支持的安全自评估类型包括差分攻击、线性攻击、不可能差分攻击、零相关线性攻击、积分攻击；用户提供的基本参数为轮函数结构中每一个函数的输入参数；所述的验证模块采用JWT技术用于前端与后端的验证，当前端向后端发起用户请求时，将JWT置于请求头中供后端进行身份验证，认证通过则接受请求并返回数据，否则拒绝请求； 所述的后端包括组件函数系统、求解器调用模块、STP求解器和数据解析模块； 所述的组件函数系统包含了所有攻击模式下的各个组件函数，不同攻击模式下的组件都能够分为线性组件和非线性组件；所述组件函数的功能是将各个组件的传播模式结合函数的基本参数转化成STP求解器能够接受的CNF合取范式；所述的线性组件包括二元矩阵、异或、循环移位、分支；所述的非线性组件包括S盒、模加操作、与运算AND、或运算OR；所述的求解器调用模块包含一个python脚本文件，该脚本文件将用户提供的基本参数与用户构建的轮函数结构及其安全自评估类型进行结合，执行用户确定的所有组件函数，基于所有组件函数转化得到的CNF合取范式共同组成STP求解模型；进一步地，求解器调用模块调用STP求解器对该模型进行可满足性问题的求解； 所述STP求解器接受一组CNF合取范式形式的STP求解模型作为输入，将这些CNF合取范式转换为SAT问题，再使用SAT求解器进行求解，最终对输入范式做出可满足性质的判定；STP求解器对STP求解模型求解后将生成求解文件； 所述的数据解析模块利用python脚本文件，将求解文件中的各个CNF合取范式中的信息提取出来，转化为用户能够理解的安全性评估的结果信息，在不同攻击模式下得到的信息不同；并且所有攻击模式对应得到的路线都会生成一个路线文件。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州电子科技大学，其通讯地址为：310018 浙江省杭州市下沙高教园区2号大街；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。