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

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

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

0 引言

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

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

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

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

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

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

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

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

2.2 計算機軟件追蹤

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

2.3 計算機軟的非法復制

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

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

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

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

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

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

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

3.2 語法檢測技術(shù)

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

3.3 模型檢測技術(shù)

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

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

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

4 總結(jié)

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

參考文獻

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

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

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

（作者單位：河北省冀州市中學）