計算機(jī)軟件安全檢測技術(shù)

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

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

0 引言

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

形式化安全檢測技術(shù)就是建立一個數(shù)學(xué)模型，對每一局語言都有一定的形式要求，例如：我們使用的eclipse軟件就能夠?qū)ξ覀兊木帉懗绦虼a時檢測出我們存在的一些語法錯誤。在我們通過形式化安全檢測過的軟件，并不代表軟件中不存在錯誤，也只是計算機(jī)軟件安全的一道屏障。

3.2 語法檢測技術(shù)

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

3.3 模型檢測技術(shù)

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

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

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

4 總結(jié)

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

參考文獻(xiàn)

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

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

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

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