| 基于事件集的反應系統(tǒng)模型的驗證 | |
| 所屬分類：技術(shù)論文 | |
| 上傳者：aet | |
| 文檔大?。?span>383 K | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹： 在總結(jié)前人工作的基礎(chǔ)上，提出了一種有效檢測并發(fā)或反應系統(tǒng)的動態(tài)行為模型中違反安全屬性的方法,目的是減少為檢測違反安全屬性所需檢測的狀態(tài)數(shù)量，驗證過程包括構(gòu)造一個由所有獨立狀態(tài)圖組成的全局狀態(tài)空間圖,并遍歷這個全局狀態(tài)空間圖中的狀態(tài)以便檢測安全協(xié)議。首先讀待驗證的安全屬性和可能會違反這些屬性的相關(guān)事件集，構(gòu)造全局狀態(tài)空間圖只考慮相關(guān)事件產(chǎn)生的狀態(tài)轉(zhuǎn)換。使用該方法驗證了“火車道口”系統(tǒng)，減少了59%的搜索空間。 | |
| 現(xiàn)在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號-2