论文部分内容阅读
BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性。使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实验表明工具能够严谨、高效地分析安全协议的正确性及认证性等安全属性。
基于BAN类逻辑的协议自动化分析工具设计
【摘 要】
：
BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性。使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实验表明工具能够严谨、高效地分析安全协议的
【机 构】
：
黄河科技学院
【出 处】
：
科技信息
【发表日期】
：
2010年09X期
【基金项目】
：
河南省科技攻关（No.0524220044,0624260017,072102210029）.
其他文献
1．生活要有规律，避免精神过度紧张和情绪波动2．少吃动物脂肪和胆固醇含量高的食物（如蛋黄、鱼子、动物内脏等），多吃鱼、蔬菜、水果、豆类及其制品，适当控制糖类食品的摄入量。
安全监理工作是建设工程监理工作内容的一个重要组成部分，安全与质量、进度、投资等共同组成一个完整的建设工程项目目标体系，它们之间的关系有着千丝万缕的联系，表现出既对立又
目的：研究通络熄风起痿汤治疗血瘀肾虚型勃起功能障碍的临床疗效。方法：选取符合病例入选标准,同时不符合排除标准的勃起功能障碍患者106例,随机平均分为通络熄风起痿汤治疗组
妇女从怀孕到正常分娩，时间长达10个月。在此期间，母体和胎儿都会发生很大的变化，有时难免会出现各种异常。记妊娠日记就是要求孕妇把自己整个怀孕过程中发生的各种现象和变化，以
有的战士遇到考试就紧张，主要原因是没有做好充分准备，对自己缺乏信心，底气不足，自己给自己增加了压力。在考试时要想消除紧张情绪，一要端正思想认识。认识到考试的目的在于检查学
文章主要介绍屏蔽室的接地问题,通过大量实验得出以下结论:①单点接地的屏蔽效能优于多点接地.②接地电阻大小对屏蔽室屏蔽效能没有影响.③接地线的长短对屏蔽效能影响不明显
文章介绍了电磁兼容测量技术中的混波室测量技术.阐述了混波室的工作原理、理论分析模型、统计特性、混波室设计中的若干问题,以及混波室技术的现状和应用前景.
阐述了舰船综合业务传输设备的EMC设计思想,提出了具体解决方案.实践证明该方法可以有效地屏蔽各种电磁信号的干扰,保证设备正常工作.
目的：研究中西医结合在宫颈HPV感染癌前病变及术后复发中的临床防治效果,为临床提供依据。方法：选取2015年1月至2016年4月医院诊治的宫颈HPV感染癌前病变及手术治疗患者60例,根