導(dǎo)航：安全管理網(wǎng)>> 安全論文>> 綜合安全論文>>正文

基于SDL的軟件安全測(cè)試方法研究

文檔作者：王志皓趙保華趙婷文檔來源：中國電力科學(xué)研究院信息安全實(shí)驗(yàn)室		點(diǎn) 擊數(shù)：	更新時(shí)間： 2021年07月13日
下載地址：點(diǎn)擊這里	文件大小： 1.37 MB 共4頁	文檔格式： PDF	下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)）

全屏查看

內(nèi)容預(yù)覽 [文件共4頁]

本文件共4頁，如需編輯使用，請(qǐng)下載。

注：預(yù)覽效果可能會(huì)出現(xiàn)部分文字亂碼（如口口口）、內(nèi)容顯示不全等問題，下載是正常的。

	文件大?。?.37 MB 共4頁文件格式：PDF 下載點(diǎn)數(shù)：1 點(diǎn)（VIP會(huì)員免費(fèi)）

下一篇： Web安全性測(cè)試技術(shù)綜述

上一篇：基于測(cè)試覆蓋的安全關(guān)鍵軟件測(cè)試研究

文本預(yù)覽

僅提取頁面文字內(nèi)容，供快速閱讀使用。

ELECTRIC POWER IT
中圖分類號(hào):TP311文獻(xiàn)標(biāo)志碼:B文章編號(hào)1672-4844(201211-008-04
基于SDL的軟件安全測(cè)試方法研究
王志皓,趙保華,趙婷
中國電力科學(xué)研究院信息安全實(shí)驗(yàn)室,北京100192)
摘要:提出了一種基于軟件安全開發(fā)生命周期SDL)的軟件安全測(cè)試方法,把現(xiàn)有單一的軟件
安全測(cè)試環(huán)節(jié)變?yōu)橛杏?jì)劃的安全測(cè)試設(shè)計(jì)安全編碼測(cè)試、安全審計(jì)測(cè)試和上線安全測(cè)試的過
程,并給出了詳細(xì)的模塊設(shè)計(jì)和方法分析。與傳統(tǒng)方法相比,這種系統(tǒng)化的安全測(cè)試思想可以有
效地降低軟件成型后的測(cè)試成本,減少測(cè)試后補(bǔ)丁的研發(fā)數(shù)量,從而進(jìn)一步提高開發(fā)效率。
關(guān)鍵詞:生命周期;安全測(cè)試設(shè)計(jì);安全編碼測(cè)試;安全審計(jì)測(cè)試;上線安全測(cè)試
特別
推0引言
也存在2個(gè)嚴(yán)重的問題:①軟件個(gè)重要貢獻(xiàn)。SDL是集成了軟件
薦
開發(fā)完成后測(cè)試出缺陷后需要補(bǔ)的可用性、可靠性、隱私性和安全
信息技術(shù)的高速發(fā)展使得世丁或升級(jí)來進(jìn)行彌補(bǔ),然而這種性的理論模型,SDL的原理示意
界的聯(lián)系比以往任何時(shí)候更加緊方法不能從根本上解決軟件的安如圖1所示
密,這種趨勢(shì)隨著時(shí)間逐漸加深,全問題②軟件安全測(cè)試的時(shí)
認(rèn)證機(jī)制
同時(shí)也給軟件安全帶來嚴(yán)峻的威間越接近開發(fā)的尾聲耗費(fèi)的成本
脅和挑戰(zhàn)。軟件安全測(cè)試技術(shù)從和代價(jià)就越大測(cè)試投入了大量隱私性
一安全性
各種應(yīng)用軟件的誕生之日起就伴精力為了彌補(bǔ)缺陷進(jìn)行再次開
SQL注
隨著日益增長的安全漏洞攻擊事發(fā),疑會(huì)成為軟件開發(fā)的梏。
引入攻擊
件不斷地發(fā)展成熟。目前業(yè)界一為了解決這2個(gè)問題,文章提出自重啟
般都遵循測(cè)試的“V模型”,包括了一種基于軟件安全開發(fā)生命周
單元測(cè)試、集成測(cè)試、系統(tǒng)測(cè)試、系期的安全測(cè)試方法,將軟件安全可靠性
質(zhì)量
斷電拒絕服務(wù)
統(tǒng)集成、驗(yàn)收和適應(yīng)性測(cè)試等5個(gè)測(cè)試作為一個(gè)周期性的工作嵌人
圖1SDL原理示意
測(cè)試級(jí)別。具體測(cè)試手段主要開發(fā)的每個(gè)環(huán)節(jié),在確保軟件安
 Fig.1 Schematic diagram of SDL
有黑盒測(cè)試和白盒測(cè)試,測(cè)試技術(shù)全的前提下逐步提高軟件安全開
主要有滲透測(cè)試、模糊測(cè)試、壓力發(fā)的效率。
圖1中的并集表示漏洞存在
測(cè)試源代碼安全測(cè)試等。
2個(gè)以上的安全隱患,例如SQL
然而,無論這種典型的測(cè)試1軟件安全開發(fā)生命周期
注入漏洞既屬于安全問題也屬于
模型,還是多樣化的測(cè)試手段和軟件安全開發(fā)生命周期(Secu-隱私問題。余集表示存在安全沖
技術(shù)往往都是針對(duì)開發(fā)完成后或 rity Developing Lifecycle,SDL)突的問題,例如認(rèn)證機(jī)制提高了
開發(fā)過程中的某一環(huán)節(jié)進(jìn)行的,是微軟繼2002年提出可信計(jì)算理軟件的安全性,但違反了隱私性
雖然能發(fā)掘部分漏洞和缺陷但念后對(duì)軟件安全開發(fā)做出的另一的原則。最外面的圓表示軟件的
8012年第10卷第11期
 ELECTRIC POWER IT
 ELECTRIC POWER IT.
質(zhì)量,其外面的部分表示無關(guān)于
表1傳統(tǒng)的軟件開發(fā)生命周期與SDL的對(duì)照
質(zhì)量的安全問題,但只有軟件的Tab.1 Comparison of the traditional software development life cycle with SDL
安全性、可靠性和隱私性共同提
傳統(tǒng)軟件開發(fā)生命周期
軟件安全開發(fā)生命周期
高,軟件的質(zhì)量才會(huì)得到質(zhì)的提
教育和意識(shí)
項(xiàng)目啟動(dòng)
動(dòng)
項(xiàng)目啟動(dòng)
升,軟件的安全才得以保障。
定義并遵從最佳設(shè)計(jì)實(shí)踐
SDL并不只是關(guān)于軟件安
產(chǎn)品風(fēng)險(xiǎn)評(píng)估
全開發(fā)的理論,而是軟件安全檢
測(cè)人員和開發(fā)人員長期交流不
風(fēng)險(xiǎn)分、工具和最佳家
創(chuàng)建安全文檔、工具和最佳客戶實(shí)踐
斷改進(jìn)軟件開發(fā)生命周期形成
采購/開發(fā)
安全編碼策略
安全測(cè)試策略
的具有可操作性的實(shí)踐指南,相
安全推進(jìn)活動(dòng)
比傳統(tǒng)的軟件開發(fā)生命周期,
最終安全評(píng)審
SDL劃分了更為細(xì)致的13個(gè)階
安全響應(yīng)規(guī)劃
段(見表1),從軟件開發(fā)項(xiàng)目的
實(shí)施
產(chǎn)品發(fā)布
啟動(dòng)階段到產(chǎn)品上線運(yùn)維的整個(gè)
運(yùn)行/維護(hù)
廢棄
安全響應(yīng)執(zhí)行
過程都給出了清晰的定義,將源
于實(shí)際工作中的經(jīng)驗(yàn)濃縮成切
實(shí)的步驟指導(dǎo)軟件安全開發(fā)的2.1安全測(cè)試設(shè)計(jì)
全測(cè)試技能教育,這也是最容易
過程。
圖2的測(cè)試流程是建立在測(cè)被忽略的一個(gè)環(huán)節(jié),然而,只有富
2基于SDL的軟件安全測(cè)試試人員豐富的測(cè)試經(jīng)驗(yàn)的基礎(chǔ)之有經(jīng)驗(yàn)的測(cè)試人員才能得出精確特
方法
上的一個(gè)過程,而SDL給出了一的測(cè)試結(jié)果。所以在測(cè)試之前,
個(gè)總結(jié)和傳遞經(jīng)驗(yàn)的啟示—安首先要保證安全測(cè)試人員對(duì)于技推
基于SDL的軟件安全測(cè)試
技術(shù)并不是要摒棄現(xiàn)有的安全測(cè)
安全測(cè)試技能教育
試技術(shù),相反,SDL中的安全測(cè)
試策略環(huán)節(jié)是對(duì)現(xiàn)有安全測(cè)試技
安全測(cè)試設(shè)計(jì)
受攻擊面分析測(cè)試
術(shù)的繼承和總結(jié)
大量的軟件安全測(cè)試證明,
威脅建模分析測(cè)試
軟件開發(fā)完成后進(jìn)行安全測(cè)試
所花費(fèi)的成本要遠(yuǎn)遠(yuǎn)高于軟件
源代碼安全漏洞測(cè)試
開發(fā)初期就將測(cè)試引入所花費(fèi)的
安全開發(fā)測(cè)試
軟件安全集成測(cè)試
成本。然而,傳統(tǒng)的軟件開發(fā)生
命周期中沒有涉及對(duì)于安全的考
比對(duì)和修正測(cè)試計(jì)劃
慮,對(duì)于在開發(fā)初期就引入安全
測(cè)試的方法更是無從下手,為了
安全審計(jì)測(cè)試
校驗(yàn)測(cè)試工具的安全性
解決這種弊端,結(jié)合對(duì)整個(gè)SDL
周期進(jìn)行研究和分析,文章提出
整理測(cè)試結(jié)論和報(bào)告
了一種基于整個(gè)SDL過程的軟件
接受軟件安全漏洞反饋
安全測(cè)試方法,按照SDL過程的
上線安全測(cè)試
不同階段分為了安全測(cè)試設(shè)計(jì)、
進(jìn)行維護(hù)測(cè)試整改漏洞
安全開發(fā)測(cè)試、安全審計(jì)測(cè)試、上
線安全測(cè)試4個(gè)模塊,每個(gè)模塊
圖2基于SDL的軟件安全測(cè)試方法模型
下又細(xì)分了幾個(gè)子模塊(見圖2)
 Fig. The model of software security test based on SDL
2012年第10卷第11期
 ELECTRIC POWERIT9
 ..ELECTRIC POWER IT
能的熟練性
°
改過程
基于SDL的軟件安全測(cè)試
技術(shù)不再是一個(gè)傳統(tǒng)的測(cè)試環(huán)
節(jié),它包含了在設(shè)計(jì)階段對(duì)于軟
狀態(tài)受損
提供偽造憑證
件受攻擊面的分析和威脅建模分
改子
改子
析的內(nèi)容,在整個(gè)安全開發(fā)生命
過程
周期的初期根據(jù)軟件的安全需求
制定合理的測(cè)試計(jì)劃,這也是現(xiàn)
有的安全測(cè)試中所不具備的一
輸驗(yàn)訪問
調(diào)用鏈檢查失敗
假冒外
證失敗
內(nèi)存
個(gè)關(guān)鍵環(huán)節(jié)。現(xiàn)有的安全測(cè)試
部實(shí)體
過程只是對(duì)成型的軟件進(jìn)行直
接的工具掃描和人工分析,整個(gè)
 caller
過程具有比較極端的盲目性和
圖3篡改過程威脅樹模型示意
被動(dòng)性,容易遺漏或錯(cuò)報(bào)軟件的
 Fig. 3 Threat tree model of the tempering process
安全風(fēng)險(xiǎn),基于SDL的軟件安全
測(cè)試方法可以用威脅樹模型進(jìn)修復(fù)程度,從而發(fā)現(xiàn)信息系統(tǒng)中疏漏了測(cè)試出的某些缺陷。
行測(cè)試計(jì)劃中測(cè)試元素的預(yù)估,的脆弱性。③運(yùn)行時(shí)驗(yàn)證:用來2.3安全審計(jì)測(cè)試
算改過程威脅樹模型示意如圖3完成常規(guī)運(yùn)行中的測(cè)試和日志的SDL相比傳統(tǒng)的軟件開發(fā)生
所示。
特別
分析?？梢允褂萌毕莘诸惐韥韺?shí)命周期最顯著的安全環(huán)節(jié)就是安
圖3中的葉節(jié)點(diǎn)即為預(yù)計(jì)的現(xiàn)對(duì)測(cè)試出缺陷的統(tǒng)計(jì),通過相全審計(jì)階段,安全審計(jì)測(cè)試的主
推軟件潛在的安全隱患,據(jù)此可以應(yīng)的測(cè)試方法修復(fù)發(fā)現(xiàn)的缺陷。要任務(wù)有3方面①比對(duì)和修正
薦制定初步的安全測(cè)試計(jì)劃,使測(cè)模糊測(cè)試客戶端代碼缺陷分類見測(cè)試計(jì)劃測(cè)試計(jì)劃并不是制定
試工作的開展可以有的放。
表2所列。
了就不會(huì)變更的,事實(shí)上之所以
2.2安全開發(fā)測(cè)試
應(yīng)當(dāng)注意的是,表中的分類在設(shè)計(jì)階段提出根據(jù)威脅模型建
安全開發(fā)測(cè)試階段主要包項(xiàng)應(yīng)當(dāng)盡可能地以缺陷的最小界立的計(jì)劃為初步的計(jì)劃,就是為
括編碼階段的源代碼安全掃描限為準(zhǔn),以免由于類別的劃分而了在測(cè)試不斷推進(jìn)的過程中根據(jù)
和軟件安全集成測(cè)試2個(gè)階段。
有
表2模糊測(cè)試客戶端代碼缺陷分類
靜態(tài)的源代碼掃描工具主要有
 Tab.2 Client-side code defect classification for fuzzy test
 Checkmarx、 Fortify等,在編碼
分類
的過程中對(duì)軟件進(jìn)行源代碼掃描
寫人 Acess Violation
分析,這種針對(duì)軟件底層的單元
必須修復(fù)
 Extended Instruction Pointe-t(eip)寄存器讀取A
測(cè)試在開發(fā)中進(jìn)行可以幫助程序
大內(nèi)存分配
員迅速找出編碼過程中的安全缺
整型溢出
陷,及時(shí)整改以避免造成不可彌
自定義異常
其他可能導(dǎo)致崩潰的系統(tǒng)級(jí)異常
補(bǔ)的漏洞。
必須調(diào)查
(可能需要修復(fù))當(dāng)eX很大時(shí)使一個(gè)e取 Access Viola
SDL的安全測(cè)試策略主要
包括3種測(cè)試方法。①模糊測(cè)試:
當(dāng) ECXEDVESI寄存器被用于REP指令時(shí)使用MOV讀取 ccess
構(gòu)造大量畸形數(shù)據(jù)進(jìn)行解析,同
 violation
時(shí)還包含了對(duì)網(wǎng)絡(luò)協(xié)議以及未經(jīng)
其他代碼區(qū)域未覆蓋到的讀取 Acess Violation
信任的訪問產(chǎn)生的代碼的測(cè)試。
②滲透測(cè)試:主要用來測(cè)試網(wǎng)絡(luò)、
非敏感性安全問題堆空間消耗異常
(潛在的可靠性問題)空間反向引用
主機(jī)系統(tǒng)的操作配置以及補(bǔ)丁的
 DividedByZero
102012年第10卷第11期
 ELECTRIC POWER IT
 ELECTRIC POWER IT
實(shí)際結(jié)果不斷修訂測(cè)試計(jì)劃,以低參與漏洞的影響。由于軟件開3] WYSOPAL.軟件安全測(cè)試藝術(shù)M北
保證測(cè)試進(jìn)度對(duì)開發(fā)起到促進(jìn)作發(fā)僅僅基于現(xiàn)有的安全最佳實(shí)踐京:機(jī)械工業(yè)出版社,2007
用,比對(duì)修正測(cè)試計(jì)劃主要包括活動(dòng),而新的安全研究和攻擊方
對(duì)軟件測(cè)試整改后受攻擊面的重式卻永無止境,所以安全問題和
責(zé)任編輯鄒海彬
估和威脅模型的重建。②對(duì)工具漏洞是不能被徹底消除的。
收稿日期:2012-09-30
有效性的測(cè)試。工具有效性測(cè)試
對(duì)于軟件安全測(cè)試,雖然需
主要是檢查工具本身的安全性和要安全工具來完成重復(fù)機(jī)械的勞
功能是否運(yùn)行正常,可以根據(jù)安動(dòng),但不能過分地依賴工具而不
全配置向?qū)У膬?nèi)容對(duì)工具的安全去進(jìn)行人工分析。文章提出的基
性進(jìn)行測(cè)試,如不必要的端口是于軟件安全開發(fā)全生命周期的安
否關(guān)閉,不必要的服務(wù)是否終止,全測(cè)試方法借鑒了SDL中對(duì)于
端口是否有安全限制或者約束全生命周期的安全考慮,把現(xiàn)有
作者簡介:
等,并制定相應(yīng)的審計(jì)測(cè)試策略。盲目的軟件安全測(cè)試環(huán)節(jié)變?yōu)?
③整理測(cè)試結(jié)論和報(bào)告,將測(cè)試有計(jì)劃的安全測(cè)試設(shè)計(jì)、安全編
王志皓(1987-),男,山東惠
的結(jié)果進(jìn)行整理總結(jié)。
碼測(cè)試、安全審計(jì)測(cè)試和上線安
民人,助理工程師,從事軟件安全
2.4上線安全測(cè)試
全測(cè)試的過程,緊密聯(lián)系軟件安測(cè)試方法和軟件安全生命周期的
對(duì)基于SDL的安全測(cè)試方全開發(fā)的各個(gè)環(huán)節(jié),從本質(zhì)上確
理論研究和應(yīng)用工作;
法來說,測(cè)試并非終止于產(chǎn)品的保安全測(cè)試的主動(dòng)性和軟件的安
趙保華(1984-),男,北京人,
發(fā)布,在軟件產(chǎn)品上線以后,需要全性。
工程師,從事信息安全產(chǎn)品研發(fā)
和技術(shù)研究、電力系統(tǒng)安全接入
其進(jìn)行安全測(cè)試確認(rèn),對(duì)存在的參考文獻(xiàn):
平臺(tái)、可信計(jì)算技術(shù)的研究和應(yīng)
特別推
安全缺陷進(jìn)行補(bǔ)救。
達(dá)斯,有效軟件測(cè)試M北京:清華大學(xué)用工作
出版社2003
3結(jié)語
趙婷(1981-),女,遼寧沈陽
 [2) HOWARD M, LIPNER S. The security
人,工程師,從事信息安全技術(shù)、
軟件安全開發(fā)生命周期的應(yīng) lifecycle SDL: process for developing通信網(wǎng)安全技術(shù)和電力系統(tǒng)自動(dòng)
用主要有2個(gè)目的:一是減少安 demonstrably more secure software化技術(shù)的研究和應(yīng)用工作
全漏洞與隱私影響數(shù)量;二是降 RedmondUSA Microsoft Press008
 Research on SDL-based Software Security Testing Method
 WANG Zhi-hao, ZHAO Bao-hua, ZHAO Ting
 (Information Security Lab of China Electric Power Reseach Institute, Beijing 100192. China)
 Abstract: In order to change single software security testing into a planned process consisting of security testing
 design, security coding testing, security audit testing and online security testing, this paper proposes a software
 security
 security testing method based on software development lifecycle(SDL), and describes its modules design and
 method analysis in detail. Compared with the traditional methods, the systematic test idea used by the method ca
n
 effectively reduce the huge cost of testing after the software accomplished and the numbers of patches after the test,
 further improve the development efficiency.
 Key words: lifecycle; security testing design: security coding testing; security audit testing; online security testing
2012年第10卷第11期1
 ELECTRIC POWERIT
1

網(wǎng)友評(píng)論 more

綜合安全論文最新內(nèi)容

05-04