【摘 要】
：
通过状态机学习算法,可以提取传输层安全(transport layer security,TLS)协议的实现库状态机模型来分析其安全性。当前在状态机学习中需要解决状态机学习时间随目标系统状态
【基金项目】
：
国家自然科学基金(61672527)资助课题
论文部分内容阅读
通过状态机学习算法,可以提取传输层安全(transport layer security,TLS)协议的实现库状态机模型来分析其安全性。当前在状态机学习中需要解决状态机学习时间随目标系统状态数增长而呈指数级增长的问题。提出一种改进的状态机学习算法,通过TLS协议特定套接字约简所需测试序列;结合检查点算法构造测试序列的前缀树,简化目标系统对测试序列测试步骤。测试结果表明,提出的改进算法能够大幅减少状态机学习过程生成的等价查询数量,加速状态机学习过程。同时通过学习到的状态机模型,分析其异常状态,找到一个OpenSSl的逻辑错误,证明学习到的模型是有效的。
其他文献
国际铅锌研究小组（ILZSG）1月20日称，2009年1—11月全球精炼铅供应过剩5．8万吨，上年同期为供应短缺1．8万吨。2009年1—11月全球铅产量为805．8万吨，消费量为800万吨。
【目的】2016年由国务院办公厅发布的《“十三五”国家信息化规划》、《“十三五”卫生与健康规划》中明确指出“十三五”时期是信息化引领全面创新、构筑国家竞争新优势的重
随着我国经济进入到新常态的发展趋势,企业登记的门槛不断降低,也使中小企业的数量不断增加,成为经济社会发展中不可忽视的力量。然而,中小企业普遍面临融资瓶颈,"新三板"逐
标志性节事是一种在长期或短期内提升目的地注意力、吸引力和利润而举办的,重复发生的、持续一定时期的重大活动。以标志性节事为例,研究其对对城市旅游的提升影响以及负面影
关于市场经济问题是当前苏联从上到下讨论的中心。苏联从计划经济过渡到市场经济的总目标已经确定。但是围绕着如何向市场经济过渡的问题,争论激烈,已提出了不同的纲领。去
一、研究背景农药的发现及广泛应用给人类社会带来了很大的益处,尤其是对发展中农业国家的经济和社会发展起到革命性的推动作用。农药除了杀灭农作物虫害,保证充足、优质的粮
6月9日，MB锑报价下跌达850美元，低铋锑的报价由8950—9350美元／吨下降至8100—8600美元／吨，而二级锑报价也由8850—9250美元／吨降到8000—8500美元／吨。表面上看下跌幅度很大，但实际
据重庆市联合产权交易所消息，近日，重庆铝业有限公司破产资产在重交所通过电子竞价方式以1835万元成功转让，增值率106．18％（945万），创下重交所破产资产处置增幅新高。据了解，重庆机电控
随着现代科学技术的飞速发展和广泛应用,以及档案信息处理技术和方法的不断革新,人们对“档案信息”概念的认识不断深入,档案整理实践也经历着从实体控制为主到实体控制和智
<正>山地柑橘土壤肥力低,柑橘病虫害的种类多,化学肥料、农药的施用能迅速有效地提高土壤肥力,控制柑橘病虫的危害,提高柑橘的产量和效益,长期以来深受农业企业和种植户的青