計(jì)算機(jī)軟件安全監(jiān)測(cè)技術(shù)的應(yīng)用研究

朱業(yè)豐 豐賀信息科技（上海）有限公司

在計(jì)算機(jī)電子信息技術(shù)的深度應(yīng)用下，部分行業(yè)的發(fā)展已經(jīng)離不開計(jì)算機(jī)設(shè)備及應(yīng)用軟件。與此同時(shí)，大部分計(jì)算機(jī)軟件需要獲得用戶的相關(guān)權(quán)限才可進(jìn)行操作，此過(guò)程中計(jì)算機(jī)軟件將對(duì)用戶的隱私信息進(jìn)行獲取，一旦承接計(jì)算機(jī)軟件運(yùn)行的各類程序存在故障問(wèn)題時(shí)，此類軟件將受到黑客攻擊以及病毒侵襲的風(fēng)險(xiǎn)，令計(jì)算機(jī)用戶造成信息丟失的問(wèn)題。計(jì)算機(jī)軟件安全監(jiān)測(cè)技術(shù)的應(yīng)用，則是對(duì)軟件設(shè)計(jì)研發(fā)以及實(shí)際應(yīng)用等進(jìn)行全過(guò)程檢測(cè)，查證出計(jì)算機(jī)軟件在運(yùn)行過(guò)程中存在的各類問(wèn)題，進(jìn)而制定出更為有效的解決措施，以保證計(jì)算機(jī)軟件的正常運(yùn)行。

一、計(jì)算機(jī)軟件安全檢測(cè)

安全性與穩(wěn)定性作為計(jì)算機(jī)軟件在實(shí)際使用過(guò)程中的重要指標(biāo)，只有承接計(jì)算機(jī)軟件運(yùn)行的各類程序，具備相應(yīng)的安全性能，才可令此類數(shù)據(jù)信息在網(wǎng)絡(luò)架構(gòu)中呈現(xiàn)出一定的安全傳輸屬性。計(jì)算機(jī)軟件安全檢測(cè)體系的建設(shè)則是通過(guò)軟件中呈現(xiàn)出的錯(cuò)誤問(wèn)題以及漏洞問(wèn)題進(jìn)行分析，然后結(jié)合相應(yīng)的檢測(cè)機(jī)制，對(duì)軟件進(jìn)行優(yōu)化處理，以此來(lái)提高軟件在實(shí)際應(yīng)用過(guò)程中的抗干擾能力。從實(shí)際檢測(cè)形勢(shì)來(lái)看，計(jì)算機(jī)軟件安全檢測(cè)主要以幾點(diǎn)。

第一，軟件內(nèi)容的測(cè)試。此類檢測(cè)主要是針對(duì)軟件中存在的安全風(fēng)險(xiǎn)因素進(jìn)行分析，然后軟件運(yùn)行過(guò)程中所產(chǎn)生的數(shù)據(jù)信息與云端數(shù)據(jù)庫(kù)中的基準(zhǔn)信息進(jìn)行核對(duì)，一旦運(yùn)行信息呈現(xiàn)出較大的誤差性時(shí)，則將此類信息界定為風(fēng)險(xiǎn)因素，并同步反饋到系統(tǒng)中。

第二，對(duì)計(jì)算機(jī)軟件進(jìn)行危害程度的檢測(cè)。從軟件所產(chǎn)生的安全問(wèn)題來(lái)看，其本身并不會(huì)對(duì)用戶的相關(guān)操作進(jìn)行影響，而是軟件本身所具備的安全隱患，在一定時(shí)機(jī)下觸發(fā)時(shí)對(duì)整個(gè)計(jì)算機(jī)系統(tǒng)以及用戶安全隱私造成相關(guān)的影響行為。此時(shí)安全檢測(cè)機(jī)制則是對(duì)軟件程序運(yùn)行過(guò)程中存在的隱性問(wèn)題進(jìn)行分析與界定，然后通過(guò)數(shù)據(jù)算法對(duì)整個(gè)危害程度以及軟件在使用過(guò)程中的預(yù)期行為進(jìn)行分析，進(jìn)而反饋到主系統(tǒng)中，為整個(gè)檢測(cè)工作開展提供數(shù)據(jù)支撐。

第三，針對(duì)軟件運(yùn)行的修復(fù)模式。當(dāng)軟件安全檢測(cè)技術(shù)查證到當(dāng)前軟件運(yùn)行中存在漏洞問(wèn)題時(shí)，則可通過(guò)與專家系統(tǒng)的對(duì)接自動(dòng)程序漏洞進(jìn)行優(yōu)化處理，便可有效提高系統(tǒng)運(yùn)行的安全性與穩(wěn)定性。

二、計(jì)算機(jī)軟件安全檢測(cè)技術(shù)研究

（一）形式化檢測(cè)

基于計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的形式化檢測(cè)方法，主要是對(duì)當(dāng)前系統(tǒng)運(yùn)行中所產(chǎn)生的各類數(shù)據(jù)信息進(jìn)行模型化建構(gòu)，以軟件在實(shí)際應(yīng)用過(guò)程中所產(chǎn)生的預(yù)期行為及固有程序在運(yùn)行過(guò)程中所產(chǎn)生的聯(lián)動(dòng)效果，界定出具有信息表述特征的數(shù)據(jù)模型。此類模型可以有效計(jì)算機(jī)軟件過(guò)程中的語(yǔ)言行為、數(shù)據(jù)指令行為等進(jìn)行分析，查證出不同操控狀態(tài)下數(shù)據(jù)信息本身所產(chǎn)生的漏洞問(wèn)題，進(jìn)而提高計(jì)算機(jī)軟件運(yùn)行質(zhì)量。與此同時(shí)，數(shù)據(jù)模型本身還具備相應(yīng)的測(cè)試功能，通過(guò)對(duì)數(shù)據(jù)信息進(jìn)行可視化、可讀化的分析，令軟件本身的測(cè)試功能可全過(guò)程作用到運(yùn)行路徑中，這樣通過(guò)信息的實(shí)時(shí)反饋，可以進(jìn)一步分析出當(dāng)前計(jì)算機(jī)軟件在操作過(guò)程中存在的相關(guān)問(wèn)題，例如安全檢測(cè)技術(shù)支持下的數(shù)據(jù)模型，獲取計(jì)算機(jī)軟件運(yùn)行信息后，此時(shí)將軟件信息進(jìn)行系統(tǒng)化測(cè)試。如果此類信息與數(shù)據(jù)庫(kù)中所設(shè)定的基準(zhǔn)信息相一致，則證明數(shù)據(jù)模型在運(yùn)行過(guò)程中具有一定的穩(wěn)定性。如果此類信息與數(shù)據(jù)庫(kù)中的基本信息不一致時(shí)，則證明此事計(jì)算機(jī)軟件存在一定的漏洞。

（二）混合檢測(cè)

混合檢測(cè)技術(shù)的實(shí)現(xiàn)是對(duì)原有軟件靜態(tài)運(yùn)行程序檢測(cè)方法的一種優(yōu)化形式，通過(guò)靜態(tài)與動(dòng)態(tài)相結(jié)合的形式，可有效對(duì)計(jì)算機(jī)軟件運(yùn)行環(huán)境進(jìn)行實(shí)時(shí)化檢測(cè)，通過(guò)內(nèi)部環(huán)境與外部環(huán)境的信息整合，可進(jìn)一步將檢測(cè)技術(shù)落實(shí)到整個(gè)軟件運(yùn)行行為中，這樣便可真正實(shí)現(xiàn)計(jì)算機(jī)軟件操控過(guò)程中的全過(guò)程檢測(cè)，以此來(lái)提高實(shí)際建設(shè)效率。

（三）語(yǔ)法檢測(cè)

系統(tǒng)接口作為計(jì)算機(jī)軟件運(yùn)行的重要載體接口，在對(duì)數(shù)據(jù)信息進(jìn)行傳輸時(shí)，是按照語(yǔ)言語(yǔ)法的形式，對(duì)各類信息進(jìn)行有效傳達(dá)。語(yǔ)法檢測(cè)技術(shù)的應(yīng)用則是進(jìn)一步為計(jì)算機(jī)軟件接口提供一個(gè)數(shù)據(jù)檢測(cè)載體，通過(guò)固定程序的語(yǔ)法修訂，對(duì)當(dāng)前計(jì)算機(jī)軟件運(yùn)行中存在的信息進(jìn)行逐一對(duì)比，然后結(jié)合語(yǔ)言識(shí)別機(jī)制、語(yǔ)言語(yǔ)法檢測(cè)機(jī)制等，對(duì)計(jì)算機(jī)軟件運(yùn)行中的程序信息進(jìn)行全過(guò)程檢測(cè)，以此來(lái)保證各類數(shù)據(jù)信息傳輸?shù)陌踩浴?/p>

（四）屬性檢測(cè)法

屬性檢測(cè)技術(shù)是通過(guò)對(duì)同種類的計(jì)算機(jī)軟件進(jìn)行固定參數(shù)指標(biāo)的核定，利用軟件本身所呈現(xiàn)出的屬性及運(yùn)算模式進(jìn)行統(tǒng)一化比對(duì)，這樣便可有效檢測(cè)出在不同運(yùn)行模式下軟件本身所呈現(xiàn)出的安全問(wèn)題。與此同時(shí)，屬性檢測(cè)技術(shù)可以系統(tǒng)進(jìn)行程序化復(fù)制，例如代碼運(yùn)行以及指令傳輸?shù)?，其均可通過(guò)不同指令形式對(duì)數(shù)據(jù)本身所呈現(xiàn)出的運(yùn)行行為進(jìn)行精準(zhǔn)確認(rèn)，以此來(lái)提高數(shù)據(jù)信息運(yùn)行的安全性。

三、結(jié)語(yǔ)

綜上所述，計(jì)算機(jī)軟件安全監(jiān)測(cè)是保證計(jì)算機(jī)設(shè)備及系統(tǒng)安全運(yùn)行的重要屏障，伴隨著計(jì)算機(jī)軟件的更新，承接系統(tǒng)安全防護(hù)的監(jiān)測(cè)技術(shù)也必須調(diào)整，依托于軟件運(yùn)行模式，設(shè)定出相對(duì)應(yīng)的監(jiān)測(cè)技術(shù)，以有效規(guī)避計(jì)算機(jī)安全防護(hù)問(wèn)題的產(chǎn)生。