【摘 要】
：
迄今为止,协议测试领域所进行的工作主要集中在通信协议的一致性测试方面。对通信协议的一致性测试已经有一套相对完整的自动化检测技术,但其理论在具体实践中还存在很大差距
论文部分内容阅读
迄今为止,协议测试领域所进行的工作主要集中在通信协议的一致性测试方面。对通信协议的一致性测试已经有一套相对完整的自动化检测技术,但其理论在具体实践中还存在很大差距。作为网络协议子类的无线安全协议,却没有一套简单可行的测试方法。因此,本文在分析无线安全协议特点的基础上,提出对其进行测试的重点应为一致性和安全性。一致性测试主要检测所实现的安全协议是否符合协议规范,为协议能够正常运行和抵御攻击提供基础保障,安全性测试主要检测所实现的安全协议是否违反了安全性,进而判断其安全指标。一致性测试方面,本文根据项目需求,提出了针对无线安全协议的一致性测试流程。其中,改进的测试序列自动生成算法具有针对性、高效性、完备性等优点。并提出了基于帧字段分析的方法来唯一确定符号集中的所有符号,从而达到状态和迁移确认的目的。安全性测试方面,本文研究了传统与最新的研究方法,分析它们的利弊。在协议工程学的层面上,对基于黑盒测试理论与自学习算法的安全性测试流程进行扩展,给出了具有检测安全错误引入阶段的测试流程。为了整合研究成果,本文设计了无线安全协议测试系统,该系统具有易用性、高效性、可扩充性等优点。
其他文献
以城乡居民养老保险制度为宏观背景,结合安徽省人口老龄化和农村地区“空心化”及农村养老保险保障水平的现状,通过构建农村养老保险适度保障水平模型,应用2008-2015年的数据
进入新世纪以来,随着我国社会经济的飞速发展,中国与国际社会的联系也日益紧密,与外文化交流使得我国对外语人才的需求日益增多,但是在外语方面的人才后备却不容乐观,其中尤
目的:观察醒脑开窍针法联合牵伸训练治疗中风偏瘫的临床疗效。方法:选取中风偏瘫患者86例,随机分为观察组和对照组各43例。两组均给予常规治疗,对照组采用牵伸训练治疗,观察
目的建立秦皮配方颗粒质量标准。方法采用薄层色谱法TLC法对秦皮进行定性鉴别;采用高效液相色谱(HPLC)法对方中秦皮甲素、秦皮乙素进行含量测定。结果 TLC中秦皮配方颗粒在与
西藏雅鲁藏布江中游地区,或称“一江两河”地区是西藏的重点开发区和人工造林重点地区。据我们野外调查勾绘,本区河谷地区现有荒地资源 75 296ha,其中宜林荒地29 911ha,占荒
国务院国资委最近召开中央企业不良资产责任认定和处理工作经验交流会。国资委主任李荣融指出，中央企业要切实加强不良资产管理工作．促进企业提高资产质量和资产运行效率。通过
目的 探讨甘精胰岛素与瑞格列奈联合治疗2型糖尿病的疗效。方法 收集2013年5月~2016年1月期间我院收治的2型糖尿病患者126例作为本次研究对象,将其按照随机数字表法分为两组,
<正> 如何确认和核算企业自行研究开发形成的无形资产价值也是会计理论界争论的焦点之一。1993年实施的“两则”、“两制”中未提及研究与开发费用。在会计核算实践中,通常将
【正】 粮食企业政策性补贴指中央财政、地方财政根据国家的有关规定,对从事政策性粮油业务的企业给予的相关补贴。政策性补贴,按事权来划分,可分为中央财政补贴、地方财政补