首页> 外文会议>5th annual workshop on cyber security and information intelligence research 2009 >Detecting overflow vulnerabilities using automated verification
【24h】

Detecting overflow vulnerabilities using automated verification

机译:使用自动验证来检测溢出漏洞

获取原文

摘要

Maintaining the security of our computer systems has become one of the dominant aspects of the war on terror and many researchers and developers predict that the next attack against the United States will be a computer attack [5, 9, 11]. The Department of Homeland Security has established a partnership with industry, the United States Computer Readiness Team (US-CERT), to protect the nation's Internet infrastructure [2]. The US-CERT sponsors an automated, web-based repository of standards based vulnerability data (NVD), which includes a database of security related software flaws [3].
机译:维护计算机系统的安全性已成为反恐战争的主要方面之一,许多研究人员和开发人员预测,针对美国的下一次攻击将是计算机攻击[5,9,11]。国土安全部已经与业界建立了伙伴关系,即美国计算机就绪团队(US-CERT),以保护国家的互联网基础设施[2]。 US-CERT发起了一个基于标准的漏洞数据(NVD)的基于Web的自动化存储库,其中包括与安全性相关的软件缺陷数据库[3]。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号