[发明专利]一种基于三集合分离属性的自动化积分分析方法及系统在审
| 申请号： | 201910664630.1 | 申请日： | 2019-07-23 |
| 公开（公告）号： | CN110572250A | 公开（公告）日： | 2019-12-13 |
| 发明（设计）人： | 祝士强;王高丽;何煜 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | H04L9/00 | 分类号： | H04L9/00;H04L9/06 |
| 代理公司： | 31257 上海麦其知识产权代理事务所(普通合伙) | 代理人： | 董红曼 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于三集合分离属性的自动化积分分析方法，包括：步骤A：使用SAT模型对三集合分离属性进行建模；步骤B：统计r‑轮密码算法涉及到的基本操作，然后将其转化为求解器语言；步骤C：给定所述求解器的初始值和终止条件，判断所述求解器否有解。本发明还提出了一种基于三集合分离属性的自动化积分分析系统。本发明可以有效的搜索出对称密码算法含有的最大轮积分区分器，同时求出该轮的积分属性。 | ||
| 搜索关键词： | 分离属性 求解器 集合 积分分析 自动化 对称密码算法 基本操作 密码算法 终止条件 区分器 建模 搜索 语言 转化 统计 | ||
【主权项】：
1.一种基于三集合分离属性的自动化积分分析方法,其特征在于，包括以下步骤：/n步骤A：使用SAT模型对三集合分离属性进行建模；/n步骤B：统计r-轮密码算法涉及到的基本操作，然后将其转化为求解器语言；/n步骤C：给定所述求解器的初始值和终止条件，判断所述求解器否有解。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910664630.1/，转载请声明来源钻瓜专利网。
