【摘 要】
：
针对传统模糊测试方法虽能发现传输层安全性(transport layer security,TLS)协议实现库内存漏洞,但无法找到其中逻辑漏洞的问题,基于模型检测的方法,提取TLS协议实现库的状态
【机 构】
：
国防科技大学前沿交叉学科学院,国防科技大学电子科学学院
论文部分内容阅读
针对传统模糊测试方法虽能发现传输层安全性(transport layer security,TLS)协议实现库内存漏洞,但无法找到其中逻辑漏洞的问题,基于模型检测的方法,提取TLS协议实现库的状态机模型,建立协议安全属性模型,寻找协议实现中可能存在的异常行为,实现对协议实现库的自动化和系统化的分析。对利用测试用例生成的协议实现库状态机进行安全属性建模,利用NuSMV工具,对提取的模型进行模型检测。实验结果证明所提方法能够有效分析TLS协议实现库的状态机模型,找到协议实现库存在的逻辑漏洞及与规范不一致的缺陷
其他文献
针对编队卫星的在轨服务任务,提出一种基于绳系卫星系统的服务方案。该系统由质量较小的服务航天器和质量较大的燃料站通过系绳连接构成,以被服务编队卫星参考中心为原点建立
第一关:没受骗周末,二毛到街上闲逛,见到一个摆摊的设局人,就走了过去,原来是摆硬币赢奖金的游戏。游戏规则是:玩家出10枚硬币,先将第一枚硬币从任意一个圆圈(如图1)开始,将
大规模多输入多输出(multiple input multiple output,MIMO)系统中,信道估计算法复杂度随着基站侧天线数量的增加而急剧增加,针对需要在信道估计算法复杂度与算法性能之间进
面对重大突发公共卫生事件,高校毕业生就业面临新困境,高校就业工作队伍应积极适应新形势,探索建立“树立云思维、建立云台账、拓展云市场、做好云服务、加强云指导”的“五
该文重点关注新冠肺炎疫情影响下的高校毕业生就业工作,深入分析影响毕业生就业的关键环节中存在的问题以及主要矛盾,结合实践经验,从高校视角探索构建针对突发公共卫生事件
理科学科是我国高等教育中十分重要的组成部分,提升理科学生的就业竞争力,是推动我国科学发展的重要环节。该文通过讨论“双一流”高校建设背景下就业指导课的现状以及不足,