軟件的可信主要體現(xiàn)在其行為的可信上,許多專家和學(xué)者越來越多地通過對(duì)軟件行為的監(jiān)測(cè)、信任關(guān)系的評(píng)價(jià)和異常行為的控制,來保證計(jì)算機(jī)系統(tǒng)能夠安全的運(yùn)行。由于軟件行為可信性評(píng)價(jià)具有動(dòng)態(tài)性、累加性、隨機(jī)性和現(xiàn)場(chǎng)性等特點(diǎn),要求我們對(duì)軟件行為的可信性評(píng)價(jià)不能憑空而來,需要通過軟件運(yùn)行時(shí)的行為監(jiān)測(cè),收集可信性相關(guān)數(shù)據(jù),驗(yàn)證軟件行為是否符合行為規(guī)約,建立基于行為監(jiān)測(cè)的可信性評(píng)價(jià)和管理體系,并能根據(jù)行為可信評(píng)價(jià)結(jié)果和行為可信需求規(guī)約,對(duì)軟件行為進(jìn)行實(shí)時(shí)動(dòng)態(tài)監(jiān)控,保障動(dòng)態(tài)化評(píng)價(jià)的正確性和一致性,從而提高軟件的可信性。隨著軟件在信息社會(huì)中的作用越來越重要,人們對(duì)軟件的可靠性、安全性等可信性要求愈來愈高,軟件動(dòng)態(tài)可信評(píng)價(jià)已成為信息安全領(lǐng)域研究的一個(gè)關(guān)鍵、難點(diǎn)問題。針對(duì)上述問題,本文提出了基于擴(kuò)展主觀邏輯的軟件行為動(dòng)態(tài)可信評(píng)價(jià)模型（DTEMSB-ESL）。該模型引入軟件行為軌跡來描述軟件行為,軟件行為軌跡由運(yùn)行軌跡和功能軌跡構(gòu)成,運(yùn)行軌跡表示軟件運(yùn)行時(shí)的有序操作,表征為有序的檢查點(diǎn)向量;功能軌跡則由能夠表征軟件功能的一系列場(chǎng)景來刻畫。擴(kuò)展J?sang的主觀邏輯以解決軟件運(yùn)行時(shí)動(dòng)態(tài)可信問題,包括對(duì)基本元素（基率和不... 

【文章來源】：河北大學(xué)河北省

【文章頁數(shù)】：43 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

軟件動(dòng)作的層次模型

圖 3 DTEMSB-ESL 流程圖.2 主觀邏輯的擴(kuò)展對(duì)于一個(gè)開放、動(dòng)態(tài)的軟件系統(tǒng)，系統(tǒng)下的每個(gè)進(jìn)程可以動(dòng)態(tài)地加入和退出，也自主決定在整個(gè)系統(tǒng)中的行為，而且進(jìn)程間沒有確定的信任關(guān)系。這要求我們?cè)趯?duì)統(tǒng)下的軟件行為的信任進(jìn)行評(píng)價(jià)時(shí)，必須考慮系統(tǒng)的動(dòng)態(tài)性。而 J sang 的主觀邏輯不確定因子 C 看成是一個(gè)常量，并且沒有考慮先驗(yàn)概率(基率)的可變性這一問題，本節(jié)擴(kuò)展 J sang 主觀邏輯的基本元素，并給出信任規(guī)則，使其更適合描述該動(dòng)態(tài)系軟件行為的可信性。2.1 不確定因子 C 的動(dòng)態(tài)化C 值的含義是觀察者對(duì)實(shí)體iX 的某一屬性kiX 在某次觀察中不確定因素的度量，其主要作用是調(diào)節(jié)基率和觀察率的權(quán)重。C 有一個(gè)非常重要的屬性：期望越接近

通過查看傳感器獲取的檢查點(diǎn)標(biāo)識(shí)是否與軟件行為軌跡中的相應(yīng)檢查點(diǎn)標(biāo)識(shí)相符。如圖4 所示，當(dāng)軟件執(zhí)行到 vj檢查點(diǎn)時(shí)，運(yùn)行指針指向軟件行為軌跡中的 vj，將傳感器返回的實(shí)際運(yùn)行軌跡中的vj的標(biāo)識(shí)與運(yùn)行指針指向的vj的標(biāo)識(shí)進(jìn)行比較。如果兩標(biāo)識(shí)不匹配，模型給出安全警報(bào)；如果兩標(biāo)識(shí)匹配；否則進(jìn)行檢查點(diǎn)場(chǎng)景評(píng)價(jià)。

【參考文獻(xiàn)】：
期刊論文
[1]計(jì)算網(wǎng)格中一種擴(kuò)展的SPKI/SDSI模型[J]. 喬龍,申衛(wèi)昌,薛淞文.  計(jì)算機(jī)工程與應(yīng)用. 2010(19)
[2]一種基于云模型的主觀信任評(píng)價(jià)方法[J]. 王守信,張莉,李鶴松.  軟件學(xué)報(bào). 2010(06)
[3]面向服務(wù)的可信軟件體系結(jié)構(gòu)代數(shù)模型[J]. 趙會(huì)群,孫晶.  計(jì)算機(jī)學(xué)報(bào). 2010(05)
[4]Research on trusted computing and its development[J]. SHEN ChangXiang1, ZHANG HuanGuo1?, WANG HuaiMin3, WANG Ji3, ZHAO Bo2, YAN Fei2, YU FaJiang2, ZHANG LiQiang2 & XU MingDi21Beijing University of Technology, Beijing 100124, China; 2School of Computer, Wuhan University, Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education, Wuhan 430072, China; 3School of Computer, National University of Defence Technology, Changsha 430074, China.  Science China（Information Sciences）. 2010(03)
[5]一種基于聚集超級(jí)節(jié)點(diǎn)的P2P網(wǎng)絡(luò)信任模型[J]. 田春岐,江建慧,胡治國,李峰.  計(jì)算機(jī)學(xué)報(bào). 2010(02)
[6]開放網(wǎng)絡(luò)環(huán)境中面向信任的單點(diǎn)登錄[J]. 萬燦軍,李長云.  計(jì)算機(jī)工程. 2010(03)
[7]一種用于信任管理的新主觀邏輯[J]. 王進(jìn),孫懷江.  計(jì)算機(jī)研究與發(fā)展. 2010(01)
[8]面向?qū)Φ染W(wǎng)絡(luò)的主觀邏輯信任模型[J]. 畢方明,張虹,羅啟漢.  計(jì)算機(jī)工程與應(yīng)用. 2009(33)
[9]基于主觀邏輯的群體信任模型[J]. 王勇,代桂平,姜正濤,侯亞榮.  通信學(xué)報(bào). 2009(11)
[10]軟件可靠性評(píng)估的重要抽樣方法[J]. 張德平,聶長海,徐寶文.  軟件學(xué)報(bào). 2009(10)

博士論文
[1]基于特權(quán)進(jìn)程行為的入侵檢測(cè)方法研究[D]. 蘇璞睿.中國科學(xué)院研究生院（軟件研究所） 2005



本文編號(hào)：3378462