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

1、軟件的可信主要體現(xiàn)在其行為的可信上，許多專家和學(xué)者越來越多地通過對軟件行為的監(jiān)測、信任關(guān)系的評價和異常行為的控制，來保證計算機系統(tǒng)能夠安全的運行。由于軟件行為可信性評價具有動態(tài)性、累加性、隨機性和現(xiàn)場性等特點，要求我們對軟件行為的可信性評價不能憑空而來，需要通過軟件運行時的行為監(jiān)測，收集可信性相關(guān)數(shù)據(jù)，驗證軟件行為是否符合行為規(guī)約，建立基于行為監(jiān)測的可信性評價和管理體系，并能根據(jù)行為可信評價結(jié)果和行為可信需求規(guī)約，對軟件行為進行實時動態(tài)

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