基于擴(kuò)展主觀邏輯的軟件行為動(dòng)態(tài)信任評(píng)價(jià)模型.pdf

1、軟件的可信主要體現(xiàn)在其行為的可信上，許多專(zhuān)家和學(xué)者越來(lái)越多地通過(guò)對(duì)軟件行為的監(jiān)測(cè)、信任關(guān)系的評(píng)價(jià)和異常行為的控制，來(lái)保證計(jì)算機(jī)系統(tǒng)能夠安全的運(yùn)行。由于軟件行為可信性評(píng)價(jià)具有動(dòng)態(tài)性、累加性、隨機(jī)性和現(xiàn)場(chǎng)性等特點(diǎn)，要求我們對(duì)軟件行為的可信性評(píng)價(jià)不能憑空而來(lái)，需要通過(guò)軟件運(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)

2、監(jiān)控，保障動(dòng)態(tài)化評(píng)價(jià)的正確性和一致性，從而提高軟件的可信性。
　　 隨著軟件在信息社會(huì)中的作用越來(lái)越重要，人們對(duì)軟件的可靠性、安全性等可信性要求愈來(lái)愈高，軟件動(dòng)態(tài)可信評(píng)價(jià)已成為信息安全領(lǐng)域研究的一個(gè)關(guān)鍵、難點(diǎn)問(wèn)題。針對(duì)上述問(wèn)題， 本文提出了基于擴(kuò)展主觀邏輯的軟件行為動(dòng)態(tài)可信評(píng)價(jià)模型（DTEMSB-ESL）。該模型引入軟件行為軌跡來(lái)描述軟件行為，軟件行為軌跡由運(yùn)行軌跡和功能軌跡構(gòu)成，運(yùn)行軌跡表示軟件運(yùn)行時(shí)的有序操作，表征為有序的檢