- 相關(guān)推薦
計算機軟件安全檢測技術(shù)研究
計算機軟件安全檢測通常是用來(lái)對軟件的安全漏洞和安全功能進(jìn)行檢測的一種手段，下面是小編搜集整理的一篇探究計算機軟件安全檢測的論文范文，供大家閱讀參考。摘要：隨著(zhù)科學(xué)與技術(shù)的發(fā)展，計算機應用更加普及。目前，計算機已經(jīng)成為人們生活和生產(chǎn)的必要工具。人們在使用計算機的同時(shí)對計算機性能和計算機的輔助功能的要求也逐漸提高。計算機和網(wǎng)絡(luò )賴(lài)以生存的基礎就是軟件。計算機軟件的安全性成為了計算機軟件性能的組成部分，同時(shí)計算機軟件安全檢測技術(shù)又可以實(shí)現有效確保計算機軟件的安全性。由此表明，計算機安全檢測技術(shù)已儼然成為保護計算機軟件的關(guān)鍵性因素，即安全檢測技術(shù)可根據不同的安全指標對計算機軟件進(jìn)行安全測試，并有效識別出軟件中存在的安全隱患。本文就計算機軟件安全檢測技術(shù)及其應注意的問(wèn)題進(jìn)行分析，以確保計算機軟件的安全性。
關(guān)鍵詞：計算機軟件;軟件安全;檢測方法
一、引言
計算機軟件安全檢測是以有效發(fā)現軟件開(kāi)發(fā)中所存在的故障及風(fēng)險，并對其進(jìn)行修改、更正為目的的，因此計算機軟件的安全檢測技術(shù)在軟件開(kāi)發(fā)的整個(gè)過(guò)程中發(fā)揮著(zhù)不可或缺的作用。從根本上講，計算機軟件安全檢測即是花費較少的測試時(shí)間和精力獲取最大限度的軟件檢測覆蓋面，從而確保安全檢測的有效性。
二、計算機軟件安全檢測簡(jiǎn)介
計算機軟件的安全檢測是計算機軟件開(kāi)發(fā)過(guò)程中的一個(gè)關(guān)鍵性環(huán)節，是計算機軟件開(kāi)發(fā)中的一個(gè)重要組成部分。通過(guò)計算機軟件安全檢測，我們可以發(fā)現軟件在應用過(guò)程中的缺點(diǎn)和故障所在，可以實(shí)現對計算機軟件在應用過(guò)程中產(chǎn)生風(fēng)險的有效更正。然而，計算機軟件的安全檢測并不能作為避免軟件程序中產(chǎn)生錯誤的主要手段，計算機安全軟件安全檢測只是負責找出程序在應用過(guò)程中容易產(chǎn)生錯誤的位置。通常情況下，計算機軟件安全檢測主要分為靜態(tài)檢測和動(dòng)態(tài)檢測兩種類(lèi)別。
計算機軟件安全檢測通常是用來(lái)對軟件的安全漏洞和安全功能進(jìn)行檢測的一種手段，是保證軟件開(kāi)發(fā)后功能與預期目標設計保持一致的有力保障。就目前情況講，計算機軟件安全檢測的具體范疇主要包含三個(gè)方面，即功能測試、滲透測試和驗證過(guò)程。計算機安全軟件檢測與其他檢測軟件不同，對于計算機軟件安全缺陷的檢測，計算機軟件安全檢測更注重于有效避免軟件工作范疇以外的事物，而普通的檢測軟件則強調軟件該做的事物。另外計算機軟件安全功能是否能夠滿(mǎn)足用戶(hù)的需求是通過(guò)安全功能檢測來(lái)實(shí)現的，衡量其滿(mǎn)足用戶(hù)需求與否的主要包含授權、機密性、安全管理及訪(fǎng)問(wèn)控制等因素。而對于計算機安全漏洞的檢測，其主要目的是發(fā)現軟件中可能存在的缺陷，亦或是識別出某些缺陷對計算機軟件存在的潛在風(fēng)險。
三、計算機軟件安全檢測應該注意的事項
從某種角度上分析，計算機軟件安全檢測，其實(shí)質(zhì)即是對計算機軟件進(jìn)行安全檢測的一個(gè)動(dòng)態(tài)過(guò)程。通常在進(jìn)行計算機軟件安全檢測時(shí)應注意以下兩點(diǎn)事項：
第一，選擇有效且合理的軟件安全檢測方案。對于計算機軟件的安全檢測應在充分了解、掌握該計算機軟件要求及特性的基礎上，根據測試的具體情況選用合理的安全檢測手段，并編制出與之相應的安全檢測方案，以確保安全檢測方案實(shí)施的有效性。此外，對軟件的檢測人員還應該有一定的要求。計算機進(jìn)行軟件安全檢測時(shí)，應確保在有相關(guān)知識及經(jīng)驗的軟件安全分析人員參與的同時(shí)，還應配備熟悉并掌握該軟件特點(diǎn)及使用的設計人員。唯有通過(guò)計算機軟件及安全檢測等多領(lǐng)域的相關(guān)技術(shù)人員的有效配合，才能達到有效確保計算機軟件性能安全性的理想效果。
第二，計算機進(jìn)行軟件安全檢測的過(guò)程中，應做到全面分析。一般計算機軟件程序較為繁瑣、規模較大，這就需要相關(guān)人員在進(jìn)行計算機軟件安全檢測的過(guò)程中，應做到對代碼級、系統級和需求級的細致分析。與上述選擇軟件檢測方案一樣，在進(jìn)行軟件中不同級別時(shí)也應加強對分析技術(shù)的合理選擇，才能保證分析結果的準確性。如此看來(lái)，計算機軟件的安全檢測是一項較為復雜的系統型過(guò)程，因此選擇合理的檢測技術(shù)和檢測方案，是計算機軟件安全檢測過(guò)程中不可忽視的兩個(gè)注意事項。
四、計算機軟件的安全檢測方法
(一)計算機軟件安全檢測流程
通常情況下，對于計算機軟件的安全檢測程序而言，規模較大的計算機軟件系統包含了多個(gè)子系統，而不同的子系統中又包含了多個(gè)不同的模塊。
一般計算機軟件安全檢測的流程為：模塊測試→組裝系統→系統結構的安全檢測→軟件功能和性能的有效測試→系統測試。其中模塊測試是指子系統中最小單位的模塊測試，其目的是為了使測試的覆蓋范圍更加全面化、細節化，從而及時(shí)發(fā)現小模塊中所隱藏的潛在風(fēng)險;在進(jìn)行各個(gè)模塊測試完成后，應根據軟件程序的設計要求對所有模塊進(jìn)行組裝，將其組裝成完整的系統，同時(shí)對組裝后的系統結構進(jìn)行相應的安全檢測;之后在保證前述檢驗合格的基礎上對系統軟件進(jìn)行功能和性能的有效測試，有效測試的主要目的是為了確保系統軟件功能和性能與用戶(hù)需求的一致性;最后在所有相關(guān)測試完成后，實(shí)施對整個(gè)軟件的系統性測試。如此層層把關(guān)的軟件安全檢測流程可為用戶(hù)軟件的安全性提供有力的保障。
(二)計算機軟件安全檢測的方式、方法
1.形式化的安全檢測
此種安全檢測方法是鑒于計算機軟件數學(xué)模型的基礎之上的，并且要求在形式規格語(yǔ)言的支持前提下，所提供的形式化規格說(shuō)明。目前較為常用的形式規格語(yǔ)言有三種，其中包括行為語(yǔ)言、模型語(yǔ)言和有效狀態(tài)語(yǔ)言。有定理證明和基于模型檢查正式的安全檢測方法[3]。
2.基于模型的安全靜態(tài)檢測方式
模型安全檢測方式，即通過(guò)軟件行為與結構建模的方法，形成一個(gè)測試模型，此模型同時(shí)滿(mǎn)足機器對其的可讀性。模型安全檢測方式與上述形式化安全檢測相比而言，基于模型的測試并不致力于讓待測軟件系統與規格說(shuō)明在所有情況下都保持一致，而是系統化的從模型生成一組測試用例，使用這組測試用例測試待測軟件系統，得到充分的證據說(shuō)明待測系統的行為與模型期望的是一致的。常用的安全功能檢測方法是有限狀態(tài)機和馬爾可夫鏈的方法的。
3.語(yǔ)法檢測
這種檢測方法是基于語(yǔ)法對生成功能接口軟件進(jìn)行檢測。語(yǔ)法檢測，通常情況下以研究反映為目的，即計算機軟件在不同的輸入條件下而產(chǎn)生的不同類(lèi)型的反映。采用語(yǔ)法檢測的方法，一般即指對計算機軟件接口處語(yǔ)言的識別、語(yǔ)言語(yǔ)法的定義等，并在以語(yǔ)法為基礎生產(chǎn)檢測用例同時(shí)執行安全檢測。
4.基于故障注入的安全檢測。
此種方法經(jīng)實(shí)踐證實(shí)，具有明顯提高安全檢測自動(dòng)化程度的獨特優(yōu)勢，是計算機軟件安全檢測技術(shù)中的重要組成部分。這里講的故障注入式安全檢測，即指在選定故障模型的基礎上，構建故障樹(shù)，并通過(guò)人為的反復測試及對軟件所反饋的故障信息，來(lái)實(shí)現檢測故障容錯性和安全性等有用信息.
5.模糊式檢測方法
模糊式的檢測方法有效的融合了傳統檢測技術(shù)與動(dòng)態(tài)檢測的具體應用，即是建立于白盒模糊檢測的基礎之上的，是傳統檢測方法的升華。模糊檢測法雖然是一項簡(jiǎn)單的技術(shù)，單他卻揭示出程序中重要的bug。它能夠驗證出現實(shí)世界中的錯誤模式并在軟件發(fā)貨前對潛在的應該被阻塞的攻擊渠道進(jìn)行提示[3]。
6.安全屬性式的檢測方法
安全屬性式的檢測方法相比于其他軟件安全檢測方法來(lái)說(shuō)，能夠實(shí)現有效確保安全漏洞擴展性和交互性的全面分析。實(shí)現采用安全屬性式的檢測方法進(jìn)行測試的途徑，首先應有效確定計算機軟件的安全編程規則，并將其作為軟件安全檢測的安全屬性;其次利用得到的安全屬性對系統程序的相關(guān)代碼進(jìn)行檢測，以驗證系統代碼與相應規則的符合性。
除上述所講，隨著(zhù)社會(huì )各領(lǐng)域的快速發(fā)展，基于Web服務(wù)的分布式軟件得到廣泛應用，因此與之相應的軟件安全檢測技術(shù)也應不斷分析總結，并實(shí)現安全檢測的技術(shù)創(chuàng )新。
總而言之，計算機軟件的安全檢測儼然已經(jīng)成為有效確保計算機信息安全性的關(guān)鍵性因素。鑒于軟件安全對計算機軟件開(kāi)發(fā)及使用的重要作用，我們應在實(shí)踐中不斷學(xué)習并積累經(jīng)驗，以實(shí)現計算機軟件安全檢測技術(shù)的不斷創(chuàng )新。
參考文獻：
[1]王清.軟件漏洞分析技術(shù).北京:電子工業(yè)出版社,2011,6
[2]艾倫.軟件安全工程.北京:機械工業(yè)出版社,2009.4
[3]李龍.軟件測試實(shí)用技術(shù)與常用模板.北京:機械工業(yè)出版社,2010,10
【計算機軟件安全檢測技術(shù)研究】相關(guān)文章：
芻議計算機軟件安全檢測方法06-30
淺論計算機軟件安全檢測技術(shù)08-24
簡(jiǎn)論軌道交通地下工程建筑安全檢測系統技術(shù)研究論文06-02
鋼筋混凝土橋梁結構振動(dòng)機理及檢測技術(shù)研究07-31
網(wǎng)絡(luò )安全與通信技術(shù)研究論文07-23
變壓器的安全運行及安裝技術(shù)研究06-19
企業(yè)信息化安全技術(shù)研究10-05