期刊文献+

基于源代码的漏洞动态扫描方法 被引量:1

下载PDF
导出
摘要 通过动态扫描源代码发现潜在的漏洞,从而在软件发布之前就消除可能存在的漏洞。动态扫描方法采用的是故障注入算法,通过动态的注入方式提高漏洞检查的准确性。
出处 《计算机应用》 CSCD 北大核心 2006年第B06期165-166,170,共3页 journal of Computer Applications
基金 国家863计划资助项目(2003AA146010)
  • 相关文献

参考文献8

  • 1周端,李娜,杨银堂.恶意程序的检测和删除[J].微电子学与计算机,2002,19(1):11-14. 被引量:2
  • 2HENZINGER TA,JHALA R,MAJUMDAR R,et al.Thread-modular Abstraction Refinement[A].Proceedings of the 15th International Conference on Computer-Aided Verification(CAV)[C].Lecture Notes in Computer Science,Springer-Verlag,2003.
  • 3LIBLIT B,AIKEN A,ZHENG AX,et al.Bug Isolation via Remote Program Sampling[A].Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003)[C].San Diego,California,2003.
  • 4COWAN C,PU C,MAIER D,et al.Stackguard:Automatic adaptive detection and prevention of buffer-overflow attacks[A].Proceeding of the Seventh USENIX Security Symposium[C].San Antonio,1998.63-77.
  • 5WAGNER D,FOSTER JS,BREWER EA,et al.A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities[A].Preceedings of Network and Distributed Systems Security Symposium (NDSS 2000)[C].2000.
  • 6LANDWEHR CE,BULL AR,MCDERMOTT JP,et al.A Taxonomy of Computer Program Security Flaws[J].Computing Surveys,1994,26(3):211 -255.
  • 7NAZARIO J.Source Code Scanners for Better Code[EB/OL].http://www.linuxjournal.com/article/5673,2002.
  • 8VOAS JM,MCGRAW G.Software Fault Injection:Inoculating Programs Against Errors[M].John Wiley and Sons,New York,1998.

二级参考文献4

  • 1Shimeall, Timothy J.; McDermott, John J. Software Security in an Internet World: An Executive Summary. IEEE Software, 1999, 16(4).
  • 2Shimeall T J. Intelligence Analysis for Intemet Security:Ideas, Barriers and Possibilities, Proceedings of SPIE - The International Society for Optical Engineering, 2001:63 ~74.
  • 3Ray Hunt. Internet/intranet Firewall Security- policy, Architecture and Transaction Services [J] . Computer Communication, 1998, 21: 1107 ~ 1123.
  • 4Matthew Strebe,Charles Perkins.网络安全性,电子工业出版社,1999.1.

共引文献1

同被引文献5

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部