本文關(guān)鍵詞：基于流演算理論的動態(tài)訪問控制模型研究

  更多相關(guān)文章： 訪問控制 動態(tài)訪問控制模型 流演算

【摘要】：訪問控制模型為系統(tǒng)的信息安全提供了一個理論框架,其目的是保護(hù)系統(tǒng)資源不被非法用戶盜用,防止合法用戶對受保護(hù)信息進(jìn)行非法使用。然而,現(xiàn)有的訪問控制模型大部分屬于靜態(tài)授權(quán)模型,不能方便地描述大規(guī)模、異構(gòu)的分布式網(wǎng)絡(luò)系統(tǒng)中授權(quán)過程的動態(tài)變化。為了解決上述不足,在充分研究流演算理論的基礎(chǔ)上,提出了一個基于流演算理論的訪問控制模型(FCDAC)。FCDAC將動態(tài)世界中的所有授權(quán)過程都看作是動作的結(jié)果,通過動作來實現(xiàn)狀態(tài)的變化,并且在系統(tǒng)中只需描述動作的前提條件公理和狀態(tài)更新公理就可容易地實現(xiàn)權(quán)限的變化。最后,通過一個教務(wù)管理實例驗證上述理論,結(jié)果表明FCDAC是可行的。
【作者單位】： 南通大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： 訪問控制 動態(tài)訪問控制模型 流演算
【基金】：江蘇省自然科學(xué)基金資助項目(BK2010280) 南通大學(xué)自然科學(xué)基金資助項目(03041163)
【分類號】：TP393.08
【正文快照】： 1引言隨著信息系統(tǒng)的不斷發(fā)展,以及計算機(jī)應(yīng)用系統(tǒng)的日趨復(fù)雜化,人們對系統(tǒng)安全性的要求也越來越高。系統(tǒng)的安全性包括系統(tǒng)抵御外界的攻擊能力、系統(tǒng)信息安全的存儲方式,同時更重要的是對系統(tǒng)涉密信息的泄露的防范[1]。因此,訪問控制技術(shù)已經(jīng)成為一種提高系統(tǒng)安全性的主要技術(shù)

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 韓偉力,陳剛,尹建偉,董金祥;權(quán)限約束支持的基于角色的約束訪問控制模型與實現(xiàn)[J];計算機(jī)輔助設(shè)計與圖形學(xué)學(xué)報;2002年04期

2 王小明,趙宗濤,馬建峰;基于承諾-擔(dān)保的訪問控制模型[J];電子學(xué)報;2003年08期

3 王淑欽,郭麗,解冬梅;工業(yè)裂解爐計算機(jī)控制模型與優(yōu)化[J];青海大學(xué)學(xué)報(自然科學(xué)版);2003年05期

4 馬詩 ,李奧;控制模型的構(gòu)建[J];電子產(chǎn)品世界;2004年09期

5 徐常凱,李繼軍;自動貨倉控制模型的實現(xiàn)[J];物流科技;2004年12期

6 彭凌西,陳月峰,彭銀橋;新型的使用訪問控制模型[J];信息技術(shù);2005年06期

7 沈海波,洪帆;基于企業(yè)環(huán)境的訪問控制模型[J];計算機(jī)工程;2005年14期

8 李帆,鄭緯民;基于角色與組織的訪問控制模型[J];計算機(jī)工程與設(shè)計;2005年08期

9 李云飛,姜曉峰;郵政分揀機(jī)的上件器控制模型的建立與實現(xiàn)[J];小型微型計算機(jī)系統(tǒng);2005年03期

10 景棟盛;楊季文;;一種基于任務(wù)和角色的訪問控制模型及其應(yīng)用[J];計算機(jī)技術(shù)與發(fā)展;2006年02期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 陳迪;甘宏;潘丹;;基于面向服務(wù)的多租戶訪問控制模型研究[A];《IT時代周刊》2013年度論文集[C];2013年

2 王金龍;黎軍保;;脫碳理論在動態(tài)控制模型中的應(yīng)用[A];2009年河北省冶金學(xué)會煉鋼—連鑄技術(shù)與學(xué)術(shù)年會論文集[C];2009年

3 徐長征;王清賢;顏學(xué)雄;;基于歷史時序的訪問控制模型研究[A];計算機(jī)研究新進(jìn)展（2010）——河南省計算機(jī)學(xué)會2010年學(xué)術(shù)年會論文集[C];2010年

4 潛繼成;孫邁;蔡鐵嶺;;野戰(zhàn)地空導(dǎo)彈武器系統(tǒng)指揮控制模型研究[A];二○○一年中國系統(tǒng)仿真學(xué)會學(xué)術(shù)年會論文集[C];2001年

5 王寧娟;趙合計;;擴(kuò)展的X-RBAC模型構(gòu)建[A];2010通信理論與技術(shù)新發(fā)展——第十五屆全國青年通信學(xué)術(shù)會議論文集（下冊）[C];2010年

6 陸鵬威;吳松;;基于角色和環(huán)境的訪問控制模型的研究和實現(xiàn)[A];第十屆中國科協(xié)年會信息化與社會發(fā)展學(xué)術(shù)討論會分會場論文集[C];2008年

7 劉梅;魏志強(qiáng);劉亞敏;王曉;;基于任務(wù)和角色的雙重訪問控制模型[A];第二十二屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2005年

8 歐曉鷗;王志立;邵發(fā)森;;一種易擴(kuò)展可管理訪問控制模型的研究[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（二）[C];2008年

9 劉大偉;莊毅;張奇;;基于使用控制模型的防惡意下載系統(tǒng)的設(shè)計與實現(xiàn)[A];2008年中國高校通信類院系學(xué)術(shù)研討會論文集（上冊）[C];2009年

10 付爭方;王小明;竇文陽;吳茜;;基于信任授權(quán)的模糊訪問控制模型[A];2007年全國開放式分布與并行計算機(jī)學(xué)術(shù)會議論文集(上冊)[C];2007年

中國重要報紙全文數(shù)據(jù)庫 前5條

1 金利;企業(yè)間加工質(zhì)量動態(tài)跟蹤控制模型[N];科技日報;2007年

2 廖建國;鋼材形狀和材質(zhì)控制模型的現(xiàn)狀[N];世界金屬導(dǎo)報;2004年

3 呂斌;優(yōu)化生產(chǎn) 智能調(diào)控[N];中國冶金報;2002年

4 劉紀(jì)生 王建國 陳堅興;過程控制開發(fā)時不我待[N];中國冶金報;2008年

5 王曉銘 記者 王春;科技創(chuàng)新舞臺上的聚光人[N];科技日報;2005年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 楊柳;云計算環(huán)境中基于訪問控制模型的用戶效用安全優(yōu)化研究[D];湖南大學(xué);2011年

2 吳嫻;基于策略域的分布式訪問控制模型[D];蘇州大學(xué);2009年

3 於光燦;協(xié)作環(huán)境中訪問控制模型研究[D];華中科技大學(xué);2008年

4 王超;基于信息流強(qiáng)約束的多級互聯(lián)訪問控制模型研究[D];解放軍信息工程大學(xué);2012年

5 翟治年;企業(yè)級協(xié)作環(huán)境中訪問控制模型研究[D];華南理工大學(xué);2012年

6 李懷明;電子政務(wù)系統(tǒng)中基于組織的訪問控制模型研究[D];大連理工大學(xué);2009年

7 崔永泉;協(xié)作計算環(huán)境下基于使用控制模型的訪問控制研究[D];華中科技大學(xué);2007年

8 翟志剛;動態(tài)開放式環(huán)境下的使用控制模型研究[D];南京航空航天大學(xué);2012年

9 歐陽凱;面向VPN的訪問控制模型及相關(guān)技術(shù)研究[D];華中科技大學(xué);2006年

10 馬晨華;面向協(xié)同工作環(huán)境的多層級訪問控制模型研究及應(yīng)用[D];浙江大學(xué);2011年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 歐陽華;通過法律的社會控制模型[D];中國政法大學(xué);2008年

2 徐青山;訪問控制模型在稅收管理中的應(yīng)用研究[D];蘭州大學(xué);2009年

3 譚振;信息項目監(jiān)理系統(tǒng)中訪問控制模型的設(shè)計與實現(xiàn)[D];湖南大學(xué);2009年

4 劉善軍;基于本體的訪問控制模型研究[D];西安電子科技大學(xué);2013年

5 戴剛;基于使用控制和上下文的模糊訪問控制模型研究[D];重慶大學(xué);2009年

6 王兆祥;基于角色的使用控制模型研究[D];解放軍信息工程大學(xué);2006年

7 鄭媛媛;電子文檔訪問控制模型的設(shè)計與實現(xiàn)[D];北京郵電大學(xué);2011年

8 卞一茗;基于混合屬性的訪問控制模型研究[D];南京郵電大學(xué);2012年

9 羅安德;基于任務(wù)和角色的訪問控制模型的研究與應(yīng)用[D];浙江工商大學(xué);2009年

10 周煌;基于角色的動態(tài)訪問控制模型的應(yīng)用研究[D];電子科技大學(xué);2005年

，

本文編號：961265