论文部分内容阅读
针对密码协议形式化分析中初始规则集过大且不易收敛的问题,给出一种基于先验知识集进行逻辑规则精简的方法。在初始规则迭代过程中,使用等价逻辑树理论进行规则集的蕴含和合一化处理,缩小初始规则集,并使形成的新的逻辑规则集具有与初始规则集等价的推导能力。
密码协议形式化分析中的逻辑规则精简
【摘 要】
：
针对密码协议形式化分析中初始规则集过大且不易收敛的问题,给出一种基于先验知识集进行逻辑规则精简的方法。在初始规则迭代过程中,使用等价逻辑树理论进行规则集的蕴含和合
【机 构】
：
西安通信学院信息安全系,西安通信学院12队
【出 处】
：
西安邮电大学学报
【发表日期】
：
2016年2期
其他文献
采用传统固相反应法制备Ba_（0.8）Mg_（0.2）V_2O_6陶瓷,研究部分Mg^2＋离子取代Ba^2＋离子对Ba_（0.8）Mg_（0.2）V_2O_6陶瓷烧结特性、晶体结构、显微组织和微波介电性能的影响。采用XRD、SEM