| 专利号 | 2021110868913 | 申请日 | 2021-09-16 | 专利名称 | 基于SAT的对称密码自动化分析平台可视化方法及系统 |
| 授权日 | 2024-04-12 | 专利权人 | 山东大学 | 发明人 | 王美琴;张际福;胡凯;牛超;樊燕红;孙宇阳;崔佳敏 |
| 主分类号 | G06F21/55 | 关键词 | 应用领域 | ||
| 摘要 | 本发明属于平台可视化技术领域，提供了一种基于SAT的对称密码自动化分析平台可视化方法及系统。其中，该可视化方法包括处理基于SAT的对称密码自动化分析平台的中间文件，提取变量及变量值；逐层逐行按照设定规则处理变量，基于变量的位数与连续规则框勾画数量相同的原则，执行画状态；遍历所有的变量，根据连续规则框的连线顺序，为每个变量画上预设操作；接收绘图模式命令，执行与当前绘图模式命令相匹配的变量操作，展示当前绘图模式对应的可视化模式。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 数字创意产业 数字文化创意活动 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
