【摘 要】
：
针对基于8031单片机系统软件的安全问题,对各权威漏洞数据库进行了分析研究,采用一种基于ECV规则的攻击分析方法从攻击事件中提取漏洞知识,根据漏洞种类及特征将漏洞从代码安
【机 构】
：
北京理工大学软件学院、软件安全工程技术北京市重点实验室
【基金项目】
：
国家重点研发计划资助项目(2016YFB0800700)
论文部分内容阅读
针对基于8031单片机系统软件的安全问题,对各权威漏洞数据库进行了分析研究,采用一种基于ECV规则的攻击分析方法从攻击事件中提取漏洞知识,根据漏洞种类及特征将漏洞从代码安全的角度分类,设计了三层结构的漏洞知识库,并根据漏洞知识库的设计提出了一种基于知识的漏洞检测算法,用于检测8031单片机系统漏洞.基于上述方法设计并实现了软件安全性逆向分析系统,对8031单片机系统进行漏洞检测.实验结果表明,基于该漏洞知识库的漏洞检测算法可以对目标程序正确进行漏洞检测,有利于降低软件代码漏洞量,并在一定程度上降低成本和资源消耗.
其他文献
KUSO文化是后现代主义大文化背景下演绎出的更为个性自我的潮流现象,在此时代背景下嬉皮、雅皮、艳俗、谐谑、反讽、黑色幽默甚至无厘头等等文化风潮逐步走入后现代艺术的舞
为了监测O、A和AsiaⅠ型口蹄疫疫苗免疫后引起的抗体水平,采用口蹄疫液相阻断ELISA法和病毒非结构蛋白3ABC-ELISA法对我国云南、内蒙古、甘肃、新疆和西藏的部分地区牛、羊和
哈斯克尔是20世纪英国乃至世界著名的艺术史家,他在关于艺术赞助、趣味史等方面的研究代表了艺术史研究的新方向。他的专著《赞助人与画家》已经成为艺术社会史中关于赞助人
本文对人工智能在航空航天领域中的一些应用进行了介绍,并对开发系统的许多观点进行了讨论.
目的探讨维生素D3(VD3)对肺炎支原体感染(MP)小鼠肺组织ICAM-1及IL-4表达的影响。方法 45只BALB/c小鼠随机分成对照组、MP感染组与维生素D3组。模型组与维生素D3组小鼠采用滴
福音书中"最后的晚餐"的决断是通过言语调动理智的诗的决断,而达·芬奇壁画《最后的晚餐》的决断是通过形象调动情感的画的决断。虽然二者的决断方式不同,但规定决断的真理是
猪圆环病毒2型(PCV2)在世界范围内广泛分布,主要以PCV2a和PCV2b两种基因型为主,PCV2b亚型为当前流行基因型。现有商品化疫苗主要针对PCV2a型病毒,也可对PCV2b型病毒产生部分
中国画大师齐白石与法国油画大师库尔贝的绘画都具有注重传统、贴近现实、不断创新的精神。齐白石的"现实主义"充满了对大自然的热爱、对美好生活的向往和对世界和平的追求;
随着全站仪在矿山测量中的广泛应用，对全站仪的精度要求越来越高。根据实际工作经验，现对测距不准的情况进行分析，并提出解决方法。