论文部分内容阅读
针对密码协议形式化分析中初始规则集过大且不易收敛的问题,给出一种基于先验知识集进行逻辑规则精简的方法。在初始规则迭代过程中,使用等价逻辑树理论进行规则集的蕴含和合一化处理,缩小初始规则集,并使形成的新的逻辑规则集具有与初始规则集等价的推导能力。
密码协议形式化分析中的逻辑规则精简
【摘 要】
：
针对密码协议形式化分析中初始规则集过大且不易收敛的问题,给出一种基于先验知识集进行逻辑规则精简的方法。在初始规则迭代过程中,使用等价逻辑树理论进行规则集的蕴含和合
【机 构】
：
西安通信学院信息安全系,西安通信学院12队
【出 处】
：
西安邮电大学学报
【发表日期】
：
2016年2期
其他文献
抗脑衰胶囊由石药集团[石家庄四药股份有限公司生产，由何首乌，人参，黄芪等19味中药组成，补肾填精，益气总会计师血，强身健脑，适用于肾精不足，肝气血亏所致的精神疲惫，失眠多梦，头晕目眩，
采用传统固相反应法制备Ba_（0.8）Mg_（0.2）V_2O_6陶瓷,研究部分Mg^2＋离子取代Ba^2＋离子对Ba_（0.8）Mg_（0.2）V_2O_6陶瓷烧结特性、晶体结构、显微组织和微波介电性能的影响。采用XRD、SEM
南瓜富含淀粉、脂肪、脂肪 酸、葡萄糖、瓜氨酸、多种维生素、果胶和磷、钛等矿物质、酶类及其它营养成分。据测定,每100克瓜肉中含瓜氨酸20.9毫克、脂肪含量为20％,果胶含量
高血压是冠心病易患因素之一。国外有报告提到,心肌梗塞患者中40～70％合并有高血压病。另方面,血压高者较血压低者冠心病的发病率约增高2～4保。过去的15年间,在心血管疾病危险因
7月2日，国土资源部地勘司副司长车长波一行到江西省赣州市宁都县调研离子型稀土矿新类型。调研组一行先后到长胜镇、固村镇离子型稀土矿新类型矿区进行现场查看取样，听取地勘单