期刊文献+

电力工控协议脆弱性动态分析技术的研究

Research on Dynamic Vulnerability Analysis Technology of Power Industry Control Protocol
下载PDF
导出
摘要 目前,我国经济高速发展,人民的生活需求随之增加。为了满足人们日益增长的电力需求,电力行业应紧跟时代步伐。因此,对电力工控协议脆弱性动态分析技术展开研究,探索基于动态污点分析、文法模糊测试等电力工控协议动态漏洞挖掘及分析技术,以促进电力行业的发展。 At present,China is in a stage of rapid development,and people's living needs increase.In order to meet the growing demand for electricity,the power industry should keep pace with the times.Therefore,the paper aims to study the analysis technology of the vulnerability of power industrial control protocol,and explore the mining and analysis technology of dynamic vulnerability of power industrial control protocol based on dynamic stain analysis and grammar fuzzy test,then promote the development of the power industry.
作者 陈岑 吕卓 郭志民 李暖暖 CHEN Cen;LV Zhuo;GUO Zhi-min;LI Nuan-nuan(State Grid Henan Electric Power Research Institute,Zhengzhou 450052,China)
出处 《通信电源技术》 2018年第12期10-12,共3页 Telecom Power Technology
关键词 电力工控协议 脆弱性 动态分析 power industrial control agreement vulnerability dynamic analysis
  • 相关文献

参考文献1

二级参考文献10

  • 1GrammaTech. http://www.grammatech.com/products/codesurfer/ .
  • 2Reps T,Lal A,Kidd N.Program Analysis Using Weighted Pu-shdown Systems[].Lecture Notes in Computer Science.2007
  • 3Lal A,Reps T.Improving pushdown system model checking.[].Computer Aided VerificationProceedings.2006
  • 4Lal A,Reps T,Balakrishnan G.Extended weighted pushdownsystems[].Computer Aided Verif.2005
  • 5Reps T,et al.Weighted pushdown systems and their applicationto interprocedural dataflow analysis[].Science of ComputerProgramming.2005
  • 6Balakrishnan G,et al.Model checking x 8 6 executables withCodeSurfer/x86 and WPDS++[].Computer Aided Verifica-tionProceedings.2005
  • 7Cova M,et al.Static Detection of Vulnerabilities in x86 Executa-bles[].Proceedings of the Annual Computer Security Appli-cations Conference (ACSAC).2006
  • 8Kruegel C,et al.Automating mimicry attacks using static binaryanalysis[].Proceedings of the th USENIX Security Sympo-sium.2005
  • 9Lengauer T,Tarjan R E.A fast algorithm for finding dominatorsin a flowgraph[].ACM Transactions on Programming Langua-ges and Systems (TOPLAS).1979
  • 10Cousot P,Cousot R.Abstract interpretation:a unified latticemodel for static analysis of programs by construction or approxi-mation of fixpoints[].Proceedings of the th ACM SIGACT-SIGPLAN symposium on Principles of programming languages.1977

共引文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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