多級(jí)安全工作流研究.pdf

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

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