摘 要：計(jì)算機(jī)的核心就是軟件，就像是人的大腦一樣，那么軟件的安全就像大腦是否能夠正常運(yùn)轉(zhuǎn)，因此軟件的安全性非常重要。當(dāng)我們開(kāi)發(fā)一個(gè)軟件時(shí)，不僅要注意到軟件的快、美觀等要求，更要注意軟件的安全性能檢測(cè)。計(jì)算機(jī)軟件安全檢測(cè)技術(shù)有：模型檢測(cè)技術(shù)、語(yǔ)法檢測(cè)技術(shù)、形式化安全檢測(cè)技術(shù)等。這些安全檢測(cè)技術(shù)廣泛的應(yīng)用于各類(lèi)計(jì)算機(jī)軟件的安全檢測(cè)中。本文我們將就“計(jì)算機(jī)軟件安全檢測(cè)技術(shù)”展開(kāi)討論和分析。

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

0 引言

計(jì)算機(jī)軟件充斥著我們生活的方方面面，計(jì)算機(jī)軟件也涉及了我們個(gè)人、企業(yè)乃至國(guó)家各方面的公共信息和個(gè)人隱私、財(cái)產(chǎn)安全、企業(yè)機(jī)密、國(guó)家機(jī)密等，所以計(jì)算機(jī)的軟件安全很重要。計(jì)算機(jī)的軟件安全需要使用科學(xué)有效的計(jì)算機(jī)安全檢查技術(shù)解決，因此，本文我們將就“計(jì)算機(jī)軟件安全檢測(cè)技術(shù)”展開(kāi)討論和分析。

1 計(jì)算機(jī)軟件安全檢測(cè)概述及重要性

計(jì)算機(jī)的核心就是軟件，就像是人的大腦一樣，那么軟件的安全就像大腦是否能夠正常運(yùn)轉(zhuǎn)，因此軟件的安全性非常重要。當(dāng)我們開(kāi)發(fā)一個(gè)軟件時(shí)，不僅要注意到軟件的快、美觀等要求，更要注意軟件的安全性能檢測(cè)。計(jì)算機(jī)軟件安全檢測(cè)的本質(zhì)就是利用利用一些科技手段、科學(xué)技術(shù)來(lái)系統(tǒng)的、全面的對(duì)計(jì)算的軟件進(jìn)行安全檢測(cè)，從而避免一些漏洞。計(jì)算機(jī)安全安全檢測(cè)不僅僅是對(duì)現(xiàn)有的漏洞等進(jìn)行檢測(cè)，也可以對(duì)軟件存在的風(fēng)險(xiǎn)進(jìn)行預(yù)測(cè)、解除等。

計(jì)算機(jī)軟件安全檢測(cè)技術(shù)，只能避免已知的錯(cuò)誤或者彌補(bǔ)已知的漏洞，對(duì)于未發(fā)現(xiàn)的錯(cuò)誤和漏洞是無(wú)法避免的，不能完全的保證軟件的絕對(duì)安全。

2 計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的流程

計(jì)算機(jī)軟件安全檢測(cè)技術(shù)流程如下：

2.1 分析、檢測(cè)軟件質(zhì)量問(wèn)題

計(jì)算機(jī)軟件的質(zhì)量問(wèn)題形形色色，但是也是至關(guān)重要的，它會(huì)給軟件的使用者帶來(lái)一定得安全威脅。

2.2 計(jì)算機(jī)軟件追蹤

通過(guò)堅(jiān)持不懈的努力，我們國(guó)家的軟件追蹤技術(shù)取得了很大的發(fā)展。

2.3 計(jì)算機(jī)軟的非法復(fù)制

在我們的生活中，很多人可能都見(jiàn)過(guò)或者聽(tīng)過(guò)盜版軟件，由于計(jì)算計(jì)軟件比較容易復(fù)制，導(dǎo)致一些別有用心的人，復(fù)制一些盜版軟，盜版軟件的安全是不能保障的，那么其中的危險(xiǎn)就更難以避免和解除。

2.4 計(jì)算機(jī)數(shù)據(jù)信息泄露等

計(jì)算機(jī)軟件使用過(guò)程中客戶等人員數(shù)據(jù)信息的泄露，會(huì)給客戶等人員帶來(lái)不可估量的損失。例如：剛剛過(guò)去的雙十一，許多人都曾網(wǎng)購(gòu)，我們網(wǎng)購(gòu)時(shí)，在淘寶或天貓上都曾留下自己的個(gè)人信息，包括個(gè)人的身份證號(hào)、姓名、家庭住址、電話號(hào)、銀行卡信息。如果這些信息的泄露，都將給客戶帶來(lái)不可估量的損失。

3 計(jì)算機(jī)軟件安全檢測(cè)技術(shù)分析及其應(yīng)用

大多數(shù)的軟件安全檢測(cè)都是通過(guò)程序來(lái)分析，不需要軟件的運(yùn)行。隨著人們?cè)絹?lái)越重視計(jì)算機(jī)軟件的安全性能，計(jì)算機(jī)軟件安全檢測(cè)技術(shù)也出現(xiàn)了多種，通常使用的有：形式化安全檢測(cè)技術(shù)、模型檢測(cè)技術(shù)等。計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的應(yīng)用也是非常廣泛的，有助于及時(shí)找到軟件存在的各方面問(wèn)題。

3.1 形式化安全檢測(cè)技術(shù)

形式化安全檢測(cè)技術(shù)就是建立一個(gè)數(shù)學(xué)模型，對(duì)每一局語(yǔ)言都有一定的形式要求，例如：我們使用的eclipse軟件就能夠?qū)ξ覀兊木帉?xiě)程序代碼時(shí)檢測(cè)出我們存在的一些語(yǔ)法錯(cuò)誤。在我們通過(guò)形式化安全檢測(cè)過(guò)的軟件，并不代表軟件中不存在錯(cuò)誤，也只是計(jì)算機(jī)軟件安全的一道屏障。

3.2 語(yǔ)法檢測(cè)技術(shù)

在計(jì)算機(jī)軟件安全檢測(cè)技術(shù)中，語(yǔ)法檢測(cè)是較為早出現(xiàn)的一種安全檢測(cè)方式。語(yǔ)法檢測(cè)技術(shù)是根據(jù)軟件程序編寫(xiě)時(shí)所使用的語(yǔ)言，根據(jù)該語(yǔ)言的使用規(guī)則，例如：我們編寫(xiě)軟件時(shí)，所使用的語(yǔ)言是java語(yǔ)言，我們的輸入，輸出語(yǔ)句就要符合java語(yǔ)言的編寫(xiě)規(guī)則，而不能使用C++的編寫(xiě)方式。這也是一種能夠有效地保護(hù)計(jì)算的安全的一種安全檢測(cè)技術(shù)。

3.3 模型檢測(cè)技術(shù)

模型檢測(cè)技術(shù)是對(duì)計(jì)算機(jī)軟件后臺(tái)軟件編寫(xiě)時(shí)的軟件的結(jié)構(gòu)及行為進(jìn)行檢測(cè)的一項(xiàng)技術(shù)，這個(gè)安全檢測(cè)技術(shù)較為特殊的一點(diǎn)是需要人員去手動(dòng)檢測(cè)計(jì)算機(jī)軟件安全是否存在問(wèn)題。

3.4 計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的應(yīng)用

計(jì)算機(jī)軟件存在的安全問(wèn)題五花八門(mén)，主要的問(wèn)題有：其一是軟件的非法盜用問(wèn)題，這一問(wèn)題一直困擾著許多軟件出版商。因?yàn)橛?jì)算機(jī)軟件是比較容易被別人COPY的。其二是計(jì)算機(jī)軟件存在的質(zhì)量問(wèn)題，這些質(zhì)量問(wèn)題會(huì)給我們的軟件使用者帶來(lái)一些安全威脅。生活中常見(jiàn)的安全漏洞有：dreamwever的頁(yè)面設(shè)計(jì)、jquery的前端設(shè)計(jì)、java的應(yīng)用等。

4 總結(jié)

計(jì)算機(jī)軟件充斥著我們生活的方方面面，計(jì)算機(jī)軟件也涉及了我們個(gè)人、企業(yè)乃至國(guó)家各方面的公共信息和個(gè)人隱私、財(cái)產(chǎn)安全等。所以計(jì)算機(jī)的軟件安全很重要。計(jì)算機(jī)軟件安全檢測(cè)技術(shù)有：模型檢測(cè)技術(shù)、語(yǔ)法檢測(cè)技術(shù)、形式化安全檢測(cè)技術(shù)等。這些安全檢測(cè)技術(shù)廣泛的應(yīng)用于各類(lèi)計(jì)算機(jī)軟件的安全檢測(cè)中。

參考文獻(xiàn)

[1]朱力根.探析計(jì)算機(jī)軟件中安全漏洞檢測(cè)技術(shù)及其應(yīng)用[J].信息通信，2015，（4）：124.

[2]亓靜，劉新穎.計(jì)算機(jī)軟件中安全漏洞檢測(cè)技術(shù)的應(yīng)用[J].電腦迷，2014，（15）：90.

[3]陳楷.計(jì)算機(jī)軟件中安全漏洞檢測(cè)技術(shù)的應(yīng)用[J].數(shù)字技術(shù)與應(yīng)用，2010，（7）：90.

（作者單位：河北省冀州市中學(xué)）