【摘 要】
：
为解决现有工具对安全套接层或传输层安全协议实现中证书验证模块的检测效率低等问题,研发了对证书验证模块进行差异测试的新工具RFCcertDT。首先,RFCcertDT基于因特网工程任
【机 构】
：
西安电子科技大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(61732013)
论文部分内容阅读
为解决现有工具对安全套接层或传输层安全协议实现中证书验证模块的检测效率低等问题,研发了对证书验证模块进行差异测试的新工具RFCcertDT。首先,RFCcertDT基于因特网工程任务组制定的请求评议进行证书规则的自动提取、更新、分类和表示,基于动态符号执行技术生成证书作为测试用例;然后,使用生成的证书和令牌环式测试实现对单个或多个证书验证模块的差异测试并生成软件错误报告。实验结果表明,RFCcertDT的检测效率优于现有工具。RFCcertDT对证书验证模块实现了高效的检测,有助于加强安全套接层或传输层安
其他文献
从电视节目创意的视角来看,真人秀节目《极限挑战》的新探索主要有三个方面：一是节目内容＂真＂,紧密结合时代背景和社会热点话题;二是节目定位＂准＂,以人为核心,以＂剧情式综艺＂的叙事
粮食产量变化关系到国家和地区的粮食安全问题.以往对粮食产量变化的研究多集中在单时间尺度上,对多时间尺度的研究很少.以小波诊断技术为基础,对近50年江苏省粮食产量变化进
目的探讨后交通动脉瘤性动眼神经麻痹患者手术治疗后动眼神经麻痹症状的恢复情况,并对临床上可能影响其恢复的相关因素进行分析。方法回顾性分析湖北省中西医结合医院2014年1
从码头系泊船舶运动响应，码头装卸作业标准和码头长度、轴线、系缆墩布置优化等方面，介绍“离岸深水港码头泊稳条件关键技术研究”课题取得的创新成果及其应用情况，并提出了
由于塑料管道具有自重轻、耐腐蚀、不污染水质且安装连接较易等优点,在基础设施及建筑领域得到广泛应用。目前,市政给水管、市政排水管、建筑给水管和建筑排水管4类管道在塑
凤眼莲是上海地区水体中危害最严重的外来入侵种之一.通过对上海地区凤眼莲种群的连续监测,探究其生活史特征及其繁殖策略,结果表明,1)每年3～5月为凤眼莲的萌芽阶段,7月下旬为
对秋茄一年生幼苗的主要形态指标及其生物量进行了测定。结果表明，株高，茎高，基径，根高，根长，叶面积以及胚，胚轴，茎，叶和全株生物量等计量指标，呈现算术平均值〉中值〉众值组段中点的规
<正>【教学内容分析】本课由初步了解海峡两岸莲花褒歌、体验演唱、创编歌词和文化传承四个部分组成。教材围绕"非遗"项目莲花褒歌这个主题,在探究海峡两岸莲花褒歌的历史渊
PCI Express技术已成为PC桌面电脑和图形设备的标准互联总线,占据着主要市场。它作为第三代I/O总线互联技术开始取代PCI,PCI-X技术,成为最主要的高速互联技术,其已应用在服务
介绍了单元串联多电平变频器原理、主电路拓扑结构及技术特点，并对焦化厂除尘风机变频器应用的方案设计和经济效益分析做了阐述。