【摘 要】隨著社會(huì)的迅速發(fā)展科學(xué)技術(shù)水平的提升，我國(guó)在計(jì)算機(jī)領(lǐng)域上的發(fā)展已經(jīng)日趨的成熟，計(jì)算機(jī)在人們的生活中得到了普遍的應(yīng)用，當(dāng)下計(jì)算機(jī)涉及到的領(lǐng)域幾乎滲透了各個(gè)角落，成了人們生活生產(chǎn)過程中的必不可少的工具，由于社會(huì)的不斷發(fā)展，在實(shí)際的應(yīng)用過程中人們對(duì)于計(jì)算機(jī)的基本性能以及輔助的功能也在不斷的提出要求，計(jì)算機(jī)網(wǎng)絡(luò)的生存基礎(chǔ)是軟件，軟件的好壞對(duì)于計(jì)算機(jī)的安全性能有著重要的作用，如何知道軟件的安全與否這就要依賴于軟件安全的檢測(cè)技術(shù)，它能夠?qū)τ谟?jì)算機(jī)軟件的安全有一個(gè)很好的保障同時(shí)有效地解決安全隱患問題。本文主要對(duì)計(jì)算機(jī)軟件安全檢測(cè)的重要性加以說明，并對(duì)其技術(shù)手段進(jìn)行分析探究，希望能在這一領(lǐng)域有所裨益。

【關(guān)鍵詞】計(jì)算機(jī) 軟件安全 檢測(cè)技術(shù)

一、引言

伴隨著我國(guó)的計(jì)算機(jī)技術(shù)的快速發(fā)展，大量的軟件已經(jīng)得到了廣泛的應(yīng)用，并且在人們的生活領(lǐng)域滲入到了各個(gè)方面，但是由于大量的軟件一起涌來計(jì)算機(jī)的軟件安全問題也發(fā)生著比較復(fù)雜的變化使得這一問題愈來愈變得微妙起來，軟件安全問題是計(jì)算機(jī)安全的一個(gè)重要的基礎(chǔ)，所以要使得軟件的安全得到保障就要在軟件安全監(jiān)測(cè)上做好實(shí)質(zhì)性的工作。

二、在當(dāng)下計(jì)算機(jī)軟件安全監(jiān)測(cè)技術(shù)的必要性

在當(dāng)今的計(jì)算機(jī)得到廣泛應(yīng)用的背景下，軟件的安全檢測(cè)技術(shù)可以對(duì)軟件與系統(tǒng)的配置是否合適得到有效的檢測(cè)；對(duì)計(jì)算機(jī)的軟件進(jìn)行安全檢測(cè)能夠及時(shí)的對(duì)于用戶的信息安全起到及時(shí)的保護(hù)作用，在一些用戶的計(jì)算機(jī)軟件中會(huì)存在安全的缺陷一般對(duì)于安全問題不會(huì)發(fā)生，但是一旦被利用到就會(huì)造成很大的損失，對(duì)于整個(gè)系統(tǒng)也會(huì)產(chǎn)生影響，對(duì)這些存在缺陷的軟件進(jìn)行安全檢測(cè)它能夠及時(shí)的得到有效的修復(fù)，比如增加補(bǔ)丁。由此可看出，對(duì)于軟件的安全檢測(cè)技術(shù)的應(yīng)用有著其重要的作用[1]。

三、在對(duì)計(jì)算機(jī)軟件進(jìn)行安全檢測(cè)時(shí)應(yīng)注意的幾個(gè)問題

對(duì)計(jì)算機(jī)的軟件進(jìn)行檢測(cè)的過程其實(shí)就是對(duì)于計(jì)算機(jī)的安全進(jìn)行動(dòng)態(tài)維護(hù)的過程，在正常的檢測(cè)過程中要注意幾個(gè)問題，其一是在計(jì)算機(jī)軟件的安全檢測(cè)的方案上要進(jìn)行合理有效的選擇，對(duì)于計(jì)算機(jī)以及軟件的功能有個(gè)充分的了解認(rèn)識(shí)，在此基礎(chǔ)上要根據(jù)實(shí)際的情況對(duì)軟件的安全檢測(cè)方法進(jìn)行合理的選擇，再編制出一套能夠行之有效與之相應(yīng)的軟件安全的檢測(cè)方案出來，確保在實(shí)施過程中的有效性，還有就是對(duì)于計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的人員方面也要具備著相應(yīng)的要求，在檢測(cè)安全的過程中對(duì)于有著相關(guān)的知識(shí)和經(jīng)驗(yàn)的人員要進(jìn)行參與還要在軟件的特點(diǎn)上有著相應(yīng)的了解，把計(jì)算機(jī)的軟件安全檢測(cè)技術(shù)和有著相關(guān)知識(shí)的人員相結(jié)合這樣才能夠達(dá)到一個(gè)比較好的效果；其二是要對(duì)檢測(cè)過程中的問題進(jìn)行多方位的分析，計(jì)算機(jī)的軟件程序基本都是比較的復(fù)雜，并且在規(guī)模上也是比較的龐大，故此在對(duì)軟件的安全進(jìn)行實(shí)際的檢測(cè)過程中就要針對(duì)系統(tǒng)級(jí)和代碼級(jí)以及需求級(jí)進(jìn)行詳細(xì)的分析探究，對(duì)于不相同的級(jí)別也要在技術(shù)的選擇上進(jìn)行有效合理的選擇，如此能才能夠?qū)τ诮Y(jié)果分析的更加準(zhǔn)確。對(duì)于軟件的安全檢測(cè)是一項(xiàng)較為繁瑣的事情，所以在方案以及技術(shù)的選擇上都要得到重視[2]。

四、計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的主要方法分析

隨著計(jì)算機(jī)軟件的不斷創(chuàng)新對(duì)于安全性能也得到了人們的普遍關(guān)注，在檢測(cè)的方法上也成了人們比較重視的一個(gè)話題，在當(dāng)下的計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的發(fā)展過程中有這么幾種技術(shù)手段是比較常用的，其中在分類上可以分為動(dòng)態(tài)檢測(cè)技術(shù)與靜態(tài)檢測(cè)技術(shù)兩大類型，動(dòng)態(tài)的檢測(cè)技術(shù)通常采用的方法就是對(duì)環(huán)境的變量以及內(nèi)存進(jìn)行分析修改從而得以實(shí)現(xiàn)的，在保密性上有著很好的效果；靜態(tài)檢測(cè)技術(shù)通常是對(duì)應(yīng)用程序的二進(jìn)制代碼以及源代碼進(jìn)行程序的分析，從而找出致使錯(cuò)誤出現(xiàn)的異常原因，其中的誤報(bào)率以及漏報(bào)率是這一技術(shù)分析的主要指標(biāo)，缺點(diǎn)優(yōu)點(diǎn)參半。下面主要對(duì)常用的幾種檢測(cè)技術(shù)進(jìn)行探究：

（一）語法檢測(cè)技術(shù)，它主要是基于語法對(duì)生成功能接口軟件實(shí)行的檢測(cè)，在通常的情況下它是以研究反映為目的，也就是說計(jì)算機(jī)的軟件在不相同的輸入條件下所產(chǎn)生的不同類型的反映情況，這一檢測(cè)技術(shù)主要是在計(jì)算機(jī)的軟件接口處對(duì)語言的識(shí)別以及語法語言的定位，最后再生產(chǎn)測(cè)試用例并且對(duì)安全檢測(cè)進(jìn)行執(zhí)行[3]。

（二）安全功能的模型檢測(cè)技術(shù)，通常來說軟件是和計(jì)算機(jī)的硬件相結(jié)合進(jìn)行使用的，這樣就形成了以結(jié)構(gòu)和軟件行為構(gòu)建了一個(gè)以模型為形體的表現(xiàn)形式，而后再通過對(duì)模型進(jìn)行檢測(cè)來達(dá)到對(duì)軟件的可讀性，對(duì)于模型功能的檢測(cè)目的就是要讓模型生成一組試用例，由此而得到的數(shù)據(jù)才會(huì)更加的充分全面，在當(dāng)前主要使用的檢測(cè)技術(shù)有馬爾可夫鏈以及有限狀態(tài)機(jī)，這兩者應(yīng)用的較為廣泛具有其現(xiàn)實(shí)意義。

（三）混合檢測(cè)技術(shù)，它主要是靜態(tài)檢測(cè)以及動(dòng)態(tài)檢測(cè)統(tǒng)一應(yīng)用的一種技術(shù)方法，在兩者的缺點(diǎn)上得到了克服，能夠更好的對(duì)于計(jì)算機(jī)軟件的安全進(jìn)行檢測(cè)，在目前所使用的技術(shù)上主要包括二進(jìn)制代碼改編技術(shù)和測(cè)試庫技術(shù)以及棧保護(hù)編譯擴(kuò)展技術(shù)等，它們?cè)谲浖臏?zhǔn)確率上得到了很大的提高，在漏洞的檢測(cè)技術(shù)上有著更為寬廣的研究空間。

（四）安全式檢測(cè)技術(shù)，它和其它的一些檢測(cè)技術(shù)相比較在交互性以及安全漏洞的擴(kuò)展性上能夠?qū)崿F(xiàn)有效的全面分析，在安全式檢測(cè)技術(shù)使用的途徑上要對(duì)計(jì)算機(jī)軟件在安全編程規(guī)則上得到了有效的確定，這一編程規(guī)則同時(shí)也作為了安全屬性，利用這種安全屬性檢測(cè)來對(duì)代碼進(jìn)行驗(yàn)證其符合性[4]。

五、結(jié)語

隨著我國(guó)的市場(chǎng)經(jīng)濟(jì)的不斷擴(kuò)張，計(jì)算機(jī)的安全顯得越來越重要，對(duì)于軟件的安全監(jiān)測(cè)有著其重要的作用和意義，在當(dāng)前的計(jì)算機(jī)軟件安全監(jiān)測(cè)技術(shù)的不斷升級(jí)的情況下對(duì)于選擇合理的方案也要得到重視，只有充分地對(duì)于在實(shí)際情況中需要什么技術(shù)什么方案才能夠?qū)τ跈z測(cè)的效果得到最好的呈現(xiàn)，進(jìn)而維護(hù)軟件的應(yīng)用市場(chǎng)的健康發(fā)展。

參考文獻(xiàn)：

[1]冉崇善，周瑩.軟件設(shè)計(jì)中的安全漏洞動(dòng)態(tài)檢測(cè)技術(shù)分析[J].微計(jì)算機(jī)信息.2012（06）：26—27

[2]賈旭.淺析計(jì)算機(jī)軟件安全問題及其防護(hù)策略[J].中小企業(yè)管理與科技（下旬刊）.2012（08）：32—33

[3]賀俊.計(jì)算機(jī)軟件中安全漏洞檢測(cè)技術(shù)及其應(yīng)用[J].電腦知識(shí)與技術(shù).2013（09）：16—17

[4]周寬久，楊廣，賴曉晨，崔凱，姚艷雙.基于控制流切片的代碼安全缺陷檢測(cè)方法[J].計(jì)算機(jī)工程與設(shè)計(jì).2012（06）：09—10

作者簡(jiǎn)介：

王建峰（1992—），男，江蘇南通人，工作單位，南京郵電大學(xué)，學(xué)生。