煤炭技术
煤炭技術
매탄기술
COAL TECHNOLOGY
2012年
10期
205-207
,共3页
静态分析%程序验证%软件%安全漏洞
靜態分析%程序驗證%軟件%安全漏洞
정태분석%정서험증%연건%안전루동
网络技术逐渐改变了人们的生产、生活、学习甚至思维方式.然而,也看到网络其实并不安全.设法提高软件安全漏洞的防护能力显得非常具有现实意义.安全漏洞的形成会受到其周围系统环境和随着时间的推移而不断受到影响.这需要不断总结软件安全漏洞发掘方法,搭建更好的软件安全漏洞检测模型,开发出更好的动静态程序分析的漏洞检测工具,切实提高软件运行的安全性.
網絡技術逐漸改變瞭人們的生產、生活、學習甚至思維方式.然而,也看到網絡其實併不安全.設法提高軟件安全漏洞的防護能力顯得非常具有現實意義.安全漏洞的形成會受到其週圍繫統環境和隨著時間的推移而不斷受到影響.這需要不斷總結軟件安全漏洞髮掘方法,搭建更好的軟件安全漏洞檢測模型,開髮齣更好的動靜態程序分析的漏洞檢測工具,切實提高軟件運行的安全性.
망락기술축점개변료인문적생산、생활、학습심지사유방식.연이,야간도망락기실병불안전.설법제고연건안전루동적방호능력현득비상구유현실의의.안전루동적형성회수도기주위계통배경화수착시간적추이이불단수도영향.저수요불단총결연건안전루동발굴방법,탑건경호적연건안전루동검측모형,개발출경호적동정태정서분석적루동검측공구,절실제고연건운행적안전성.
