SVR-Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具(英文)

来源 :中国通信 | 被引量 : 0次 | 上传用户:hongjiansu1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
For various reasons,many of the security programming rules applicable to specific software have not been recorded in official documents,and hence can hardly be employed by static analysis tools for detection.In this paper,we propose a new approach,named S
其他文献
世界丙烯酸化工进展张翼鸿(上海高桥化工公司丙烯酸厂,上海200137)ZhangYlhong(ShanghaiGaoqiaoPetrochemicalAcrylicAcidWorks,Shanghai200137)关键词丙烯酸,产量,消费1引言丙烯酸...
In Orthogonal Frequency Division Multiple Access (OFDMA) systems, such as Long Term Evolution (LTE) and so on, the resources used by each user are orthogonal, a
Security is a key problem for the development of Cloud Computing. A common service security architecture is a basic abstract to support security research work.
期刊
Nowadays,clear evaluation models and methods are lacking in classified protection of information system,which our country is making efforts to promote.The quant
期刊
多孔炭材料在催化领域中的应用张引枝郑经堂王茂章(中国科学院山西煤炭化学研究所,太原030001)ZhangYinzhi,ZhengJingtangandWangMaozhang(InstituteofCoalChemistry,ChineseAcad...
对甘脲树脂的制备及最佳工艺条件进行了研究,比较了各种不同醚化剂对整理剂产品中游离甲醛含量的影响,用优化的工艺条件制备的甘脲树脂,具有游离甲醛含量低,耐久定理,抗折皱的优良
肝内胆管结石的外科治疗体会(附22例报告)中国人民解放军442医院外科敖大金本文报告22例肝内胆管结石的手术方法,并提出对不易取净的肝内胆管结石及病损肝,应尽量手术切除肝叶或肝段;对合
随着我国经济的发展,我国汽车制造企业也得到了快速的发展。发动机作为汽车的核心,点火系统又是发动机的重要组成部分,其故障发生率是整个发动机部件中最高的。所以对点火系
以网络环境下的技术创新理论作为研究的理论基础,从网络环境的界定、技术创新的涵义、特征和中小企业技术创新概述入手,在全面、深入分析中小企业技术创新模式的基础上,分析
在碱性溶液中,非离子表面活性剂存在下,镉(Ⅱ)与新合成试剂,邻碘苯基重氮氨基偶氮苯(OIDA)显色反应生成红色配合物。本文应用β修正新光度法测定配合物特征参数,方法简单,原理易懂,结果准确