多級安全工作流研究.pdf

1、本文對基于CPN的多級安全工作流MLS_CPN無法完全表達(dá)控制流依賴的弊端，提出采用系統(tǒng)約束的手段對工作流過程定義進(jìn)行豐富完善，并給出了將系統(tǒng)約束與過程定義相結(jié)合的方法。但是系統(tǒng)約束對于多級安全工作流分析的影響有待今后研究。著色網(wǎng)網(wǎng)圖較簡單，但其函數(shù)關(guān)系卻很復(fù)雜；Petri網(wǎng)網(wǎng)圖較復(fù)雜，但其函數(shù)關(guān)系卻很簡單。由于著色網(wǎng)的特殊性，一般利用Design/CPN對其進(jìn)行仿真分析，直接分析其性能要比基本網(wǎng)困難得多。通過給出把著色網(wǎng)轉(zhuǎn)換成等價的

2、基本網(wǎng)的算法，可以把WCPN轉(zhuǎn)化為普通Petri網(wǎng)進(jìn)行分析，為多級安全工作流的系統(tǒng)化驗證提出了一條思路。BLP模型過于嚴(yán)格簡單,缺乏靈活性, 容易使工作流無法順利執(zhí)行,不能滿足實際需要。為了解決上述問題,對經(jīng)典的BLP模型進(jìn)行了改進(jìn)，并證明了這種改進(jìn)方案的正確性。該方案對主體的敏感標(biāo)記進(jìn)行擴充,將主體的敏感度標(biāo)記分離為讀寫相互獨立的區(qū)間,主體當(dāng)前敏感標(biāo)記根據(jù)客體敏感標(biāo)記和主體訪問權(quán)限的歷史過程進(jìn)行動態(tài)調(diào)整,從而提高數(shù)據(jù)完整性和系統(tǒng)的可