当前位置：采购意向项目详情
北京理工大学2022年12至3月政府采购意向-基于组合优化的自动化密码分析平台 详细情况
2022年11月16日 16:14 来源： 中国政府采购网 【打印】
| 基于组合优化的自动化密码分析平台 | |
| 项目所在采购意向： | 北京理工大学2022年12至3月政府采购意向 |
| 采购单位： | 北京理工大学 |
| 采购项目名称： | 基于组合优化的自动化密码分析平台 |
| 预算金额： | 180.000000万元(人民币) |
| 采购品目： | A02010103服务器 |
| 采购需求概况 ： | 数量：1台
型号：CryptoMIP
主要参数："·包含密码算法描述领域专用语言CryptoDSL，支持密码算法的常用操作（XOR、模加、AND、S-box、线性层等），支持常见的密码算法结构，如SPN和Feistel；确定该模型是字级还是比特级模型；通过后端的分析模块根据模型粒度调整其分析行为。
·包含领域专用语言CryptoDSL解析工具DSLParser，根据领域专用语言CryptoDSL的语法规则对其进行解析；生成对应的符号表和顶层约束表。
·包含MILP建模模块CryptoMIP，生成XOR、AND、模加、S-box和线性层等常用密码部件密码学性质的不等式刻画，用于后继的MILP模型建立。
·包含模型生成模块ModelBuilder，建模器根据符号表和顶层约束表在比特模式迭代器和密码分析方法引擎的支持下，根据指令生成相应的密码算法分析的混合整数规划模型。
·包含差分分析安全性测评功能模块，考虑S盒的活跃性，而不考虑具体的S盒的输入输出差分特征，根据线性变换的差分分支数等结构特征进行建模，考虑字节级的密码的差分模式的最小活跃S盒个数。
·包含线性分析安全性测评功能模块，对具体的S盒的输入输出线性掩码的分布表及描述为GF(2)上的线性矩阵的线性变换进行线性路径建模，考虑可行线性路径的最小活跃S盒个数。"
主要功能：面向密码算法开展区分器自动化搜索的安全性评估 |
| 预计采购时间： | 2022-12 |
| 备注： | |
本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。