于超凡

?

計(jì)算機(jī)軟件安全檢測(cè)技術(shù)和系統(tǒng)安全分析

于超凡

蘇州華碧微科檢測(cè)技術(shù)有限公司，江蘇 蘇州 215000

社會(huì)經(jīng)濟(jì)的發(fā)展實(shí)現(xiàn)了全球化、共享化以及信息化。這樣的發(fā)展趨勢(shì)必將導(dǎo)致經(jīng)濟(jì)的溝通、交流從書信、面談轉(zhuǎn)向計(jì)算機(jī)網(wǎng)絡(luò)方式。計(jì)算機(jī)網(wǎng)絡(luò)全面進(jìn)入人們的生活、工作，人們也在計(jì)算機(jī)網(wǎng)絡(luò)給予的便利下不斷提升、進(jìn)步。但計(jì)算機(jī)軟件并不是完全安全、無害的產(chǎn)品，而是存在易被網(wǎng)絡(luò)病毒感染，且易成為網(wǎng)絡(luò)病毒傳播的介質(zhì)、易被外界攻破信息泄露等問題。因此，計(jì)算機(jī)軟件企業(yè)需要提高計(jì)算機(jī)網(wǎng)絡(luò)安全性能，加強(qiáng)計(jì)算機(jī)軟件工程檢測(cè)和維護(hù)的力度。

計(jì)算機(jī)軟件；安全檢測(cè)技術(shù)；系統(tǒng)安全

引言

隨著科技的高速發(fā)展，計(jì)算機(jī)的應(yīng)用會(huì)越來越廣泛，創(chuàng)新已經(jīng)成為當(dāng)今時(shí)代主題。保證軟件安全的傳統(tǒng)技術(shù)當(dāng)然也在創(chuàng)新之列，軟件的不斷更新?lián)Q代促使計(jì)算機(jī)軟件安全檢測(cè)技術(shù)也會(huì)不斷更新?lián)Q代。我們要站在技術(shù)的高度走在別人的前面，通過不斷學(xué)習(xí)，創(chuàng)新軟件檢測(cè)技術(shù)，以適應(yīng)高速發(fā)展的科技時(shí)代。

1 安全檢測(cè)和維護(hù)的概述

計(jì)算機(jī)在人們的生活和工作中不斷普及，已經(jīng)成為了不可缺少的部件。計(jì)算機(jī)網(wǎng)絡(luò)保存著人們的個(gè)人信息、財(cái)務(wù)信息等多種私密重要的信息。一旦信息泄露將會(huì)導(dǎo)致人們的生活出現(xiàn)危機(jī)，人們也越來越重視計(jì)算機(jī)軟件的安全問題。因此，計(jì)算機(jī)軟件工程的安全檢測(cè)和維護(hù)工作開展需要做到安全、嚴(yán)謹(jǐn)、嚴(yán)格、快速、有效。計(jì)算機(jī)軟件是由科技人員共同研究制造的產(chǎn)物，雖然在多方面發(fā)揮著重大作用，但不論是多強(qiáng)大的計(jì)算機(jī)軟件都會(huì)存在漏洞。漏洞極易成為不法分子實(shí)施違法事件的條件[1]。計(jì)算機(jī)軟件的安全檢測(cè)和維護(hù)就是為了發(fā)現(xiàn)、修補(bǔ)、計(jì)算機(jī)的漏洞和危害問題，保障人們的信息安全。計(jì)算機(jī)軟件安全檢測(cè)技術(shù)分為動(dòng)態(tài)和靜態(tài)兩種。性能、滲透測(cè)試、過程驗(yàn)證分別是計(jì)算機(jī)軟件工程安全檢測(cè)的措施。

計(jì)算機(jī)軟件從想法、定義理論、研究開發(fā)、推向市場(chǎng)、運(yùn)行、后期維護(hù)的過程稱之為計(jì)算機(jī)軟件的生命周期[2]。計(jì)算機(jī)軟件的生命意在為人們服務(wù)，滿足人們的客觀實(shí)際需求。計(jì)算機(jī)軟件工程的安全檢測(cè)和維護(hù)則是為了更好地保障計(jì)算機(jī)軟件的服務(wù)。發(fā)現(xiàn)漏洞、修補(bǔ)漏洞、防止信息泄露是計(jì)算機(jī)軟件工程安全檢測(cè)和維護(hù)的職責(zé)所在。計(jì)算機(jī)軟件的精準(zhǔn)性、安全性、高效性是計(jì)算機(jī)軟件工程安全檢測(cè)和維護(hù)的發(fā)展方向和目標(biāo)。只有提高計(jì)算機(jī)安全檢測(cè)技術(shù)和維護(hù)技術(shù)，才能保障計(jì)算機(jī)軟件的安全。

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

軟件的優(yōu)劣在計(jì)算機(jī)的整體應(yīng)用中占據(jù)重要部分，然而軟件安全才是其在應(yīng)用過程中的根本[3]。因此檢測(cè)軟件安全就成為軟件開發(fā)中的重中之重。其特點(diǎn)就是及時(shí)發(fā)現(xiàn)軟件在運(yùn)行過程中的產(chǎn)生的故障和不正常狀態(tài)，并有效解決這些問題。當(dāng)然軟件檢測(cè)技術(shù)并不能杜絕所有的軟件問題。它只是一種重要的檢測(cè)手段，在實(shí)際應(yīng)用的過程中會(huì)遇到一些檢測(cè)軟件解決不了的問題，這時(shí)就需要根據(jù)故障的類型以及產(chǎn)生的問題進(jìn)行相應(yīng)的應(yīng)急處置。

3 計(jì)算機(jī)軟件安全檢測(cè)中的問題

3.1 計(jì)算機(jī)軟件在實(shí)際檢測(cè)過程中的科學(xué)性

在軟件開發(fā)的過程中，設(shè)計(jì)人員要根據(jù)軟件的特性設(shè)計(jì)合理的方案。這就需要對(duì)軟件進(jìn)行深入全面的了解，并根據(jù)科學(xué)的邏輯，準(zhǔn)確分析，完成軟件的開發(fā)，以保證在軟件使用過程中遇到各種各樣的復(fù)雜問題時(shí)都能行之有效地處理。計(jì)算機(jī)軟件的更新?lián)Q代是日新月異的。這就要求軟件開發(fā)技術(shù)人員不斷進(jìn)行技術(shù)創(chuàng)新。要?jiǎng)?chuàng)新就要先積累，即不斷學(xué)習(xí)新的軟件專業(yè)知識(shí)來充實(shí)自己，只有這樣才能更好地解決在檢測(cè)軟件開發(fā)過程中遇到的各類問題，保證計(jì)算機(jī)軟件檢測(cè)系統(tǒng)的科學(xué)性。

3.2 計(jì)算機(jī)軟件安全檢測(cè)重視程度不足

在計(jì)算機(jī)軟件檢測(cè)系統(tǒng)的實(shí)際應(yīng)用中，檢測(cè)技術(shù)人員要特別注重分析工作[4]。技術(shù)人員只有通過對(duì)軟件構(gòu)建原理、軟件性能以及軟件在實(shí)際應(yīng)用中遇到的實(shí)際問題進(jìn)行全面的歸類和系統(tǒng)的分析，并進(jìn)行不斷改進(jìn)，才能使軟件的性能不斷優(yōu)化。分析工作是檢測(cè)軟件在實(shí)際應(yīng)用過程中的重要組成部分，能夠及時(shí)發(fā)現(xiàn)各類問題并進(jìn)行科學(xué)的研究分析。只有通過不斷發(fā)現(xiàn)問題、分析問題、解決問題，才能不斷提高軟件性能，從而在實(shí)際運(yùn)用過程中起到更好的安全保護(hù)作用。

4 計(jì)算機(jī)軟件安全檢測(cè)技術(shù)和系統(tǒng)安全分析

計(jì)算機(jī)軟件的漏洞有很多類型，包括操作系統(tǒng)中的漏洞以及應(yīng)用軟件中的漏洞。當(dāng)前的計(jì)算機(jī)操作系統(tǒng)大部分是Windows系統(tǒng)，在整個(gè)操作系統(tǒng)中占有很大的份額，所以Windows系統(tǒng)自帶的漏洞已經(jīng)被微軟公司自己解決了。我們需要做的就是解決安全軟件存在的漏洞。當(dāng)前，計(jì)算機(jī)檢測(cè)技術(shù)根據(jù)檢測(cè)方法的不同分為靜態(tài)檢測(cè)和動(dòng)態(tài)檢測(cè)技術(shù)。

4.1 計(jì)算機(jī)軟件安全的靜態(tài)檢測(cè)技術(shù)

靜態(tài)檢測(cè)技術(shù)是指在程序檢測(cè)的過程中由人工模擬運(yùn)行，對(duì)程序的編碼和源代碼、進(jìn)行逐項(xiàng)檢查分析，從而找出漏洞[5]。靜態(tài)檢測(cè)技術(shù)的方法是通過檢查掃描被檢測(cè)程序的源代碼和編碼，分析得出被檢測(cè)程序的異常狀態(tài)和錯(cuò)誤情況。具體方法是根據(jù)語法的邏輯性是否符合實(shí)際，語義的表達(dá)準(zhǔn)確與否來確定漏洞。軟件安全靜態(tài)檢測(cè)技術(shù)在實(shí)際應(yīng)用中具有一定的優(yōu)勢(shì)，操作簡(jiǎn)單、便捷。有經(jīng)驗(yàn)的人員通過檢測(cè)技術(shù)對(duì)相關(guān)系統(tǒng)和程序進(jìn)行相對(duì)應(yīng)的掃描和檢測(cè)，可以提高檢測(cè)效率。相比較動(dòng)態(tài)檢測(cè)而言，其可操作性具有很大的優(yōu)勢(shì)。

4.2 計(jì)算機(jī)軟件安全的動(dòng)態(tài)檢測(cè)技術(shù)

計(jì)算機(jī)動(dòng)態(tài)檢測(cè)技術(shù)與靜態(tài)檢測(cè)技術(shù)的區(qū)別還是很大的。動(dòng)態(tài)檢測(cè)技術(shù)不像靜態(tài)檢測(cè)那樣需要掃描二進(jìn)制代碼和源代碼，而是通過相應(yīng)的技術(shù)手段檢測(cè)程序在運(yùn)行期間的漏洞。對(duì)計(jì)算機(jī)中各種軟件的運(yùn)行環(huán)境進(jìn)行檢測(cè)分析是計(jì)算機(jī)軟件動(dòng)態(tài)檢測(cè)技術(shù)的主要方式。其檢測(cè)方式的特性是增加保密性，把這種技術(shù)應(yīng)用到計(jì)算機(jī)軟件安全檢測(cè)中，實(shí)現(xiàn)計(jì)算機(jī)安全穩(wěn)定運(yùn)行的最終目的。

上述兩種檢測(cè)方法還可以分類出很多其他的技術(shù)。目前應(yīng)用比較廣泛的包括以下幾種：

（1）形式化安全檢測(cè)技術(shù)

通過先確立軟件的數(shù)學(xué)模型，在規(guī)格形式語言的支持前提下，進(jìn)行形式化規(guī)格的說明。

（2）語法檢測(cè)技術(shù)

語法檢測(cè)技術(shù)是以語法為前提基礎(chǔ)，作為靜態(tài)檢測(cè)最早出現(xiàn)的檢測(cè)方式，通過檢測(cè)軟件功能接口與語法生成軟件進(jìn)行相關(guān)測(cè)試的技術(shù)。根據(jù)不同的輸入條件，被檢測(cè)的軟件可能產(chǎn)生各種各樣的反應(yīng)，能識(shí)別計(jì)算機(jī)接口處的語言，以達(dá)到軟件安全檢測(cè)的目的。

（3）模型檢測(cè)技術(shù)

根據(jù)計(jì)算機(jī)軟件的行為和結(jié)構(gòu)，建立的功能模型使其具備安全測(cè)試功能，從而對(duì)計(jì)算機(jī)軟件進(jìn)行安全檢測(cè)。

（4）模糊檢測(cè)技術(shù)

在傳統(tǒng)的模糊技術(shù)和動(dòng)態(tài)檢測(cè)技術(shù)之后發(fā)展出來的模糊檢測(cè)技術(shù)是一種效率非常高的安全檢測(cè)方法。模糊檢測(cè)方法的優(yōu)勢(shì)和特點(diǎn)是檢測(cè)比較簡(jiǎn)單，檢測(cè)成本相對(duì)較低，自動(dòng)化程度較高。綜合以上優(yōu)勢(shì)，模糊檢測(cè)技術(shù)得到了相對(duì)比較廣泛的應(yīng)用。

5 結(jié)束語

計(jì)算機(jī)的應(yīng)用與普及，已經(jīng)成為當(dāng)前社會(huì)的重要組成部分，無論在生活還是工作中都離不開計(jì)算機(jī)。計(jì)算機(jī)軟件在應(yīng)用中的安全也成為人們關(guān)注的重要話題。計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的應(yīng)用提高了計(jì)算機(jī)的安全性能，同時(shí)解決了實(shí)際應(yīng)用中遇到的各種問題。本文從計(jì)算機(jī)安全檢測(cè)技術(shù)對(duì)計(jì)算機(jī)系統(tǒng)安全的重要意義出發(fā)進(jìn)行了分析，并闡述了計(jì)算機(jī)安全檢測(cè)技術(shù)在實(shí)際應(yīng)用中遇到的問題。

[1]李偉.計(jì)算機(jī)軟件安全檢測(cè)技術(shù)探究[J].中國(guó)新通信，2017，19（11）：113.

[2]戴曉峰.計(jì)算機(jī)軟件安全檢測(cè)技術(shù)探究[J].科技風(fēng)，2017（15）：59.

[3]董海軍.計(jì)算機(jī)軟件安全檢測(cè)技術(shù)探析[J].技術(shù)與市場(chǎng)，2017，24（6）：211.

[4]嚴(yán)波.計(jì)算機(jī)軟件安全檢測(cè)技術(shù)探究[J].新西部，2017（15）：63，90.

[5]余莎莎.計(jì)算機(jī)軟件安全檢測(cè)存在的問題及方法研究[J].現(xiàn)代職業(yè)教育，2017（22）：65.

Computer Software Security Detection Technology and System Security Analysis

Yu Chaofan

Suzhou Falab Test Technology Co., Ltd., Jiangsu Suzhou 215000

The development of social economy has realized globalization, sharing and information. This trend of development must lead to economic communication and communication from letters and interviews to computer networks. Computer network has entered people’s life and work in an all-round way, and people are also improving under the convenience of computer network. But computer software is not a completely safe and harmless product, it is vulnerable to being infected by network virus, and easy to become a media for spreading network virus, and vulnerable to external information leakage and other problems. Therefore, the computer software enterprise needs to improve the security performance of the computer network and strengthen the strength of the computer software engineering detection and maintenance.

computer software; security detection technology; system security

TP309

A

1009-6434（2017）12-0064-03