- 相關(guān)推薦
淺談?dòng)嬎銠C軟件安全檢測方法
計算機軟件安全檢測是信息安全體系中必不可少的組成部分,下面是小編搜集整理的一篇探究計算機軟件安全檢測方法的論文范文,歡迎閱讀參考。
摘要:計算機應用的范圍正在隨著(zhù)科技的進(jìn)步而變得越來(lái)越廣泛。該文一方面論述了計算機軟件安全需要注意的問(wèn)題,一方面闡述了計算機軟件安全檢測的方法,從計算機軟件安全檢測的角度出發(fā),透徹的分析以上兩個(gè)問(wèn)題。
關(guān)鍵詞:計算機;軟件安全;檢測方法
近些年來(lái),由于科技的發(fā)展,軟件開(kāi)發(fā)的技術(shù)也在快速的崛起著(zhù),而與此同時(shí),計算機軟件的安全隱患也隨之而來(lái),這些隱患對與計算機軟件安全性測試是一輪又一輪的嶄新課題,只有掌握了正確的計算機軟件去安全監測方法,才能減少計算機軟件之中遇到的安全隱患,這些特定的檢測方法一方面能夠使得計算機軟件能夠擁有更好的安全性,并更好的工作,另一方面也對計算機軟件進(jìn)行檢測,并分析出軟件設計中存在的安全問(wèn)題。因此我們可以看到,計算機軟件的安全檢測可以說(shuō)已經(jīng)是現代社會(huì )當中不可或缺的一部分,軟件安全檢測可以使得計算機的壽命增長(cháng),并幫助其更好的工作下去,而作為計算機軟件工程人員,則更應該針對現在所面臨的安全隱患的問(wèn)題,著(zhù)重的去進(jìn)一步加強計算機軟件安全檢測方法的研究,使得計算機軟件能夠更好的服務(wù)于所有用戶(hù)。
1、計算機軟件安全檢測的概念
對于軟件開(kāi)發(fā)來(lái)講,計算機的軟件安全檢測是其中非常重要的一個(gè)環(huán)節,而它檢測的目的也正是為了發(fā)現軟件所存在的故障而對程序進(jìn)行執行的過(guò)程,用以這種方法來(lái)避免計算軟件可能出現的潛在風(fēng)險。而軟件監測的目標,則是最大化的去發(fā)現計算機軟件之中存在著(zhù)的問(wèn)題和漏洞,在檢測覆蓋的途中,所達到的效果也應該是用最少的測試翻成最大化的覆蓋。而計算機的安全監測,僅僅只是一種查找程序錯誤的手段,而不能證明程序中確實(shí)存在錯誤。就目前計算機軟件安全檢測來(lái)講,一般進(jìn)行安全監測的方法有兩個(gè)大類(lèi),分別是靜態(tài)和動(dòng)態(tài)。計算機軟件安全檢測的過(guò)程一般分為三步,分別是功能測試、滲透測試以及驗證過(guò)程,這三步是確定軟件所具有的安全實(shí)現是否能夠與軟件與其的設定要求一致的過(guò)程。。
2、安全監測時(shí)的注意事項
一是從實(shí)際出發(fā)的角度去指定一個(gè)相對合理的安全監測方案,這個(gè)方案應該能夠針對計算機軟件的特點(diǎn)以及設計要求,而檢測手段則應該是在綜合分析的基礎上所得到的。同時(shí),在進(jìn)行計算機軟件安全檢測時(shí)要關(guān)注檢測人員的多元化,在計算機軟件安全檢測過(guò)程中不僅僅要配備軟件安全分析員,還要做到在更多的領(lǐng)域之間完成更好的配合,并配備對軟件系統熟悉的設計人員參與進(jìn)來(lái),如此才能更好的對軟件安全進(jìn)行檢測。
二則是必須要再計算機軟件安全的檢測過(guò)程中,進(jìn)行系統級、代碼級以及需求級的分析。如果該軟件的規模比較大,還應對其進(jìn)行軟件結構設計方面的分析。必要時(shí)可以利用仿真環(huán)境以及分析工具來(lái)協(xié)助計算機安全軟件的的監測工作,最重要的則是要根據實(shí)際的工作需要來(lái)選擇最為合理的分析技術(shù)。計算機安全監測的過(guò)程實(shí)際上是一個(gè)系統化的過(guò)程,在計算機軟件安全檢測的過(guò)程中,需要一個(gè)合理的檢測方法,與此同時(shí)我們也要認識到,在計算機軟件安全檢測的過(guò)程當中,是無(wú)法通過(guò)一個(gè)或幾個(gè)簡(jiǎn)單的方法來(lái)解決系統中出現的所有問(wèn)題的。
除上述之外,由于計算機軟件安全檢測一般分為五個(gè)步驟,所以每個(gè)步驟亦擁有其相應所需要注意的安全檢測之中的問(wèn)題。
第一.在軟件分析的步驟之中,需要對軟件的系統構架、代碼、運行情況以及需求設計等方面擁有透徹的了解,并可以在對其了解的基礎上進(jìn)行全方面的分析研究,通過(guò)這種分析來(lái)找到有效的檢測方法,并減少在檢測中走彎路的次數。
第二,在選擇技術(shù)的過(guò)程中,我們要知道單一的技術(shù)并不能完全的去解決系統的安全問(wèn)題,由于軟件的漏洞并不是有規律的,而是分散的,所以單一的技術(shù)并不能對計算機軟件安全檢測起到很好的效果,所以就應該使用多種技術(shù),來(lái)制定更完好的實(shí)施方案。
第三,在制定方案的過(guò)程中,由于有前面兩點(diǎn)的基礎,所以制定方案的同時(shí)就要在基礎上考慮到人力以及物資的情況,并合理的運用這些有效的資源,只有如此,才能設計出一套行之有效的檢測方案來(lái)。
第四,在實(shí)際檢測的時(shí)候,這個(gè)環(huán)節是需要工作人員去操作機器來(lái)反饋情況的,所以在這個(gè)環(huán)節中,要求對檢測人員的能力能夠有相應的了解,并能根據不同工作人員的能力以分到不同的工作崗位之中,而在實(shí)際操作中,也要求工作人員能夠及時(shí)準確的報告問(wèn)題,要合理的分配人員,才能發(fā)揮出團隊最大的優(yōu)勢,而各部門(mén)的精誠合作才能達到一個(gè)令人滿(mǎn)意的檢測結果。
最后,是信息反饋的環(huán)節,這個(gè)時(shí)候檢測的結果將被做成文檔,而這個(gè)文檔則會(huì )反饋給軟件的開(kāi)發(fā)人員,這種反饋能夠幫助開(kāi)發(fā)人員去解決軟件之中出現的錯誤,只有如此,才能夠讓軟件的安全真正得到保障。
由此我們可以知道,現在的科技正在飛速的發(fā)展,在如今的互聯(lián)網(wǎng)的環(huán)境之下,軟件的安全問(wèn)題是要從根源去解決的,越來(lái)越多的網(wǎng)民會(huì )遭到攻擊,而這種時(shí)候就更要求軟件在出廠(chǎng)前安全檢測的工作認真負責,這樣才能夠使得用戶(hù)的權益得到保障,并借此營(yíng)造一個(gè)更加高質(zhì)量的網(wǎng)絡(luò )環(huán)境。
3、計算機軟件錯誤的來(lái)源、類(lèi)型以及檢測方法
由于要在各個(gè)方面保護著(zhù)計算機軟件的安全,所以計算機安全可以說(shuō)是一個(gè)非常復雜的系統,他保護計算機軟件的安全,一般會(huì )通過(guò)信息系統的保密性、可用性以及完整性等等方面。在日常的運行過(guò)程中,計算機會(huì )因為操作等方面的原因兒產(chǎn)生安全隱患,這種安全隱患會(huì )致使計算機不能有效的連接到上級應用程序,也不能從系統配置管理到用戶(hù)操作,這種安全隱患的范圍從通信基礎設施一直到網(wǎng)絡(luò )上層應用服務(wù),包含面很大。根據從這些由于操作不當而生成的安全隱患的分析我們可以發(fā)現,計算機軟件的安全隱患分為自身配置的錯誤以及軟件自身缺陷所造成的錯誤兩種。
在自身配置錯誤中,一般產(chǎn)生這種錯誤的原因主要是軟件供應商和系統管理遠在訪(fǎng)問(wèn)控制規則是出現錯誤所造成的。而對于軟件錯誤來(lái)說(shuō),這種錯誤所造成的安全隱患相對復雜很多,這種缺陷一般分為兩種,一種是基本軟件方面的缺陷,一種是無(wú)關(guān)軟件方面的缺陷;拒浖娜毕,會(huì )導致計算機軟件安全方面產(chǎn)生較大的問(wèn)題,無(wú)關(guān)軟件方面的缺陷,則并不會(huì )導致計算機軟件安全方面產(chǎn)生問(wèn)題,對于軟件安全來(lái)講是無(wú)害的。當軟件缺陷發(fā)生時(shí),計算機軟件安全會(huì )遭受到巨大的威脅,其軟件安全性會(huì )受到深刻的影響,而當這種缺陷所造成的系統漏洞一旦被發(fā)現,就會(huì )使得計算機軟件受到打擊,其安全性受到致命的威脅。有時(shí),供應商在為計算機軟件打補丁的時(shí)候,會(huì )在補足往常漏洞的同時(shí)打入新的系統漏洞,這樣依舊不會(huì )解決問(wèn)題,還是形成了一個(gè)惡性循環(huán),這種惡性循環(huán)一方面會(huì )導致計算機軟件的安全性大大下降,一方面也會(huì )使得其他方面的產(chǎn)品受到影響。所以在面對計算機軟件安全受到如此多重的威脅下,時(shí)下有幾種流行的計算機軟件安全檢測方法,這幾種方法分別為混合檢測法、動(dòng)態(tài)監測發(fā)、靜態(tài)檢測法以及語(yǔ)法檢測法。
4、計算機軟件安全檢測的基本流程
計算機安全檢測的同時(shí)會(huì )應用到很多的計算機應用軟件,他們之中包含著(zhù)數量很大的子系統,這在計算機安全軟件檢測的時(shí)候是經(jīng)常會(huì )出現的情況,而這些出現的子系統也會(huì )被劃分為數個(gè)互不相同的模板。而計算機軟件安全的檢測工作一般分為五個(gè)步驟,這五個(gè)步驟分別為模塊測試、組裝系統、系統結構的安全測試、軟件功能和性能的有效測試以及系統測試。只有按照以上步驟進(jìn)行,才能將計算機的軟件安全檢測做到最好。
5、計算機軟件安全的主要檢測方法
第一是模糊測試。模糊測試能夠將傳統的動(dòng)態(tài)測試用和模糊測試技術(shù)做到結合。并且,模糊測試技術(shù)在市面上一般是基于白盒的模糊測試方式,這種方式相對于傳統的模糊測試來(lái)講,擁有一定程度上的進(jìn)步。
第二是基于模型的安全功能測試。在模型的安全功能測試之中,一般常用的方式有兩種,分別為馬爾科夫鏈以及有限狀態(tài)機兩種。這種模型的安全功能測試,能夠生成一種測試模型,利用這種模型作為基礎的情況下加以測試,能夠對計算機軟件進(jìn)行安全監測。
第三是語(yǔ)法測試。語(yǔ)法測試主要是對軟件接口的語(yǔ)言進(jìn)行識別。這種軟件測試的方法,一般利用自身的借口功能來(lái)生成軟件進(jìn)行測試輸入,并通過(guò)這種語(yǔ)法生成的軟件來(lái)對不同種類(lèi)的輸入反應情況進(jìn)行測試輸入,而其輸入測試的的主體則是為被檢測的軟體。
第四是基于故障的安全性測試。這種分析法能夠在系統最不正常的時(shí)間內分析時(shí)間,并尋找事導致事故發(fā)生可能的中間時(shí)間,在通過(guò)合理邏輯們符號將頂時(shí)間、中間事件以及底事件連接的同時(shí),形成一定程度上的故障樹(shù),而這種安全監測的方法,正是應用故障分析樹(shù)以及故障樹(shù)的最小割集來(lái)進(jìn)行生產(chǎn)檢測的。這種方法的特點(diǎn)在于,它能夠最為有效的提升檢測的自動(dòng)化程度,并加快檢測的進(jìn)程,較之其他的檢測方法,是一種比較成分的計算機軟件安全監測方法。
第五是形式化安全測試。在形式化安全測試中,一般常用的形式規格語(yǔ)言有基于模型的語(yǔ)言、基于有限狀態(tài)的語(yǔ)言以及基于行為的語(yǔ)言三種。就這種檢測方法來(lái)講,首先需要確定電腦軟件的數學(xué)模型,隨后通過(guò)該模型的說(shuō)明語(yǔ)言的支持,來(lái)進(jìn)行形式化的規格說(shuō)明。而兩種安全檢測的形式化方法則分別為有定理證明與模型檢測兩種。這種檢測方法,可以為保密設備提供安全性的保障。
第六是基于屬性的測試。這種檢測方法的優(yōu)勢在于,它能夠有效的分析電腦軟件的安全漏洞的交互性以及電腦軟件的擴展性。一般這種檢測方法首先要確定電腦軟件中的編程規則,隨后利用確定了的變成規則來(lái)輸入進(jìn)電腦軟件,使得軟件本身能夠在一定規則下遵守。
第七種方法則是猜錯法檢測,這種檢測技術(shù)根據的是經(jīng)驗以及直覺(jué),旨在建立一些非主流的測試用例,往往能夠達到一些傳統檢測技術(shù)所達不到的效果,但如果面對是新上市或者是沒(méi)有接觸過(guò)的軟件,本身并沒(méi)有任何可以值得借鑒的經(jīng)驗以及背景,那么就很難去運用這種猜錯法來(lái)進(jìn)行安全監測,而在這種情況之中,也更應該盡量少的使用這種技術(shù),來(lái)避免檢測的可信度降低。
除此之外 ,對于計算機軟件安全檢測來(lái)說(shuō),軟件安全檢測方法的主要作用就是檢測,電腦軟件中都會(huì )存在著(zhù)種種的漏洞,檢測的目的就在于一方面檢測電腦軟件本身,一方面檢測出電腦軟件中的漏洞和缺陷,并從這些結果中提高電腦軟件的安全性。
6、結束語(yǔ)
計算機軟件安全檢測是信息安全體系中必不可少的組成部分。如今,我們的社會(huì )正在飛速的發(fā)展,而計算機以及計算機的技術(shù)也已滲透進(jìn)了我們的生活之中,計算機技術(shù),如今已經(jīng)成為了工作和生活中不可或缺的一部分,在這個(gè)大的環(huán)境之下,計算機軟件安全監測就具有非常重要的意義,一方面,它確保了計算機軟件應用的良性發(fā)展,另一方面,它也符合現在的時(shí)代需求,所以我們的生活中需要計算機軟件安全監測方法的進(jìn)步,而這種計算機軟件安全檢測的方法也自然值得我們去進(jìn)一步的加強研究。
參考文獻:
[1] 王爽. 計算機軟件安全檢測技術(shù)研究[J].信息與電腦:理論版,2011(11).
[2] 崔丹丹,張二峰.軟件安全問(wèn)題初探[J].商場(chǎng)現代化,2009(4).
[3] 蔣廷耀,王訓宇,馬凱,等.基于EAI和AOP的軟件安全測試及應用研究[J].計算機科學(xué),2009(4).
[4] 楊洪路,宮云戰,高文齡,等.軟件安全靜態(tài)檢測技術(shù)與工具[J].信息化縱橫,2009(9).
[5] 馬海濤.計算機軟件安全漏洞原理及防范方法[J].科協(xié)論壇(下半月),2009(6).
【淺談?dòng)嬎銠C軟件安全檢測方法】相關(guān)文章:
芻議計算機軟件安全檢測方法06-30
淺談水泥攪拌樁質(zhì)量檢測方法10-12
淺談建筑物防雷裝置檢測方法05-31
淺論計算機軟件安全檢測技術(shù)08-24
淺談常用低壓電氣典型故障檢測方法09-01
淺談針織物線(xiàn)密度的常用測試方法及檢測標準05-02
淺談受力分析的方法10-05
異常樣本檢測方法綜述06-19
淺談?dòng)嬎銠C軟件工程的維護措施07-23
淺談歌唱中的位置與方法07-31