首页 > 专利技术

密码协议的Horn逻辑表述集精简算法[发明专利]

专利名称：密码协议的Horn逻辑表述集精简算法

专利类型：发明专利

发明人：樊琳娜，潘进，谢青松，林少锋，韩鹍，白炜，寇万里申请号：CN201610821191.7

申请日：20160914

公开号：CN106209364A

公开日：

20161207

专利内容由知识产权出版社提供

摘要：本发明公开了一种密码协议的Horn逻辑表述集精简算法，本算法包含三个阶段，分别为冗余消除阶段、并行复合阶段和精简完成阶段。其中冗余消除阶段消除待处理规则集中的冗余规则和蕴含规则；并行复合阶段能够对冗余消除阶段得到的规则集进行规则分组，并行进行组内规则复合，而后进行组间规则复合，直至不再产生新的规则集为止；精简完成阶段能够抽取符合一定形式的规则形成最终的精简规则集。该算法通过并行进行复合运算，能够一定程度上缩短复杂协议的规则精简时间，提高密码协议形式化分析自动化验证的速度。

申请人：中国人民解放军西安通信学院

地址：710106 陕西省西安市长安区王曲镇

国籍：CN

代理机构：西安文盛专利代理有限公司

代理人：佘文英

本文发布于:2024-09-20 22:49:18，感谢您对本站的认可！

本文链接：https://www.17tex.com/tex/3/462448.html

上一篇：一种控制平板玻璃成型温度场的装置[实用新型专利]

下一篇：一种黄秋葵酸奶的制备方法[发明专利]