【摘 要】
：
目前,视频监控设备中很多摄像头、DVR、NVR都支持RTSP协议,而且由RTSP协议引起的缓冲区溢出漏洞个数较多,危害性大,因此对RTSP协议的研究具有理论意义和应用价值。直接利用模
【机 构】
：
太原理工大学计算机科学与技术学院,物联网信息安全技术北京市重点实验室,中国科学院信息工程研究所,中国科学院大学
【基金项目】
：
本文受国家重点研发计划(2016YFB0800202),国家自然科学基金(61401300),国防基础科研计划-部队纵向(JCKY2016602B001),国家电网公司科学技术项目(52110417001B)资助
论文部分内容阅读
目前,视频监控设备中很多摄像头、DVR、NVR都支持RTSP协议,而且由RTSP协议引起的缓冲区溢出漏洞个数较多,危害性大,因此对RTSP协议的研究具有理论意义和应用价值。直接利用模糊测试框架中的方法生成的测试用例数量庞大,测试过程耗时长。针对上述问题,以视频监控设备的RTSP协议为研究对象,提出对协议基本块的样本集进行去重,利用协议状态间的约束关系和状态转移的关联关系构造协议状态图,并基于协议状态图进行深度遍历的方法。该方法减少了测试用例的生成,并提高了生成的有效性。对RTSP协议进行fuzzy测试时,
其他文献
2015年4月30日财资[2015]13号各省、自治区、直辖市财政厅(局):为了贯彻落实《国务院关于印发注册资本登记制度改革方案的通知》(国发[2014]7号)的有关精神,现就调整资产评估
<正>2016年4月29日财税[2016]51号各省、自治区、直辖市、计划单列市财政厅(局)、国家税务局,新疆生产建设兵团财务局:根据《维也纳外交关系公约》、《维也纳领事关系公约》
2015年11月18日财税[2015]122号各省、自治区、直辖市财政厅(局)、林业厅(局),新疆生产建设兵团财务局、林业局,内蒙古、吉林、黑龙江、大兴安岭森工(林业)集团公司:由占用征
2015年8月19日财发[2015]30号各省、自治区、直辖市、计划单列市财政厅(局)、农业综合开发办公室(局),新疆生产建设兵团财务局、农业综合开发办公室,农业部农发机构,中国农业
目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设
P-集合（packet sets）是一个新的动态模型,它是由内P-集合X^F（internal packet set X^F）与外P-集合X^F（outer packet set X^F）构成的集合对,即（X^F,X^F）是P-集合。P-集合把动态特性引
【正】 各省、自治区、直辖市、计划单列市财政厅(局)、地方税务局,新疆生产建设兵团财务局:根据《财政部、国家税务总局关于对若干项目免征营业税的通知》[(94)财税字第002
学术影响力评价一直是文献计量学领域的一个研究热点。已有的大多基于数据挖掘的学术影响力评价方法忽略了恶意活动产生的影响,导致评价结果欠佳。为解决这一问题,提出了一种
【正】 2007年10月12日财教[2007]258号各省、自治区、直辖市、计划单列市财政厅(局)、新闻出版局:为促进民族文字出版工作的开展,规范和加强民族文字出版专项资金的管理,提
【正】 中国民用航空总局,各省、自治区、直辖市、计划单列市财政厅(局),财政部驻各省、自治区、直辖市、计划单列市财政监察专员办事处,各航空运输企业:民航机场管理建设费