資料介紹
使用控制(UCON)是下一代訪問(wèn)控制模型,其核心模型包括授權(quán)模型、義務(wù)模型和條件模型。該文的目的是使用動(dòng)態(tài)描述邏輯DDL對(duì)UCON授權(quán)模型進(jìn)行邏輯表述,對(duì)授權(quán)過(guò)程中的各個(gè)決定要素進(jìn)行邏輯描述并提供可判定性推理,提出UCON授權(quán)模型的邏輯模型,并提供了一個(gè)完整的授權(quán)實(shí)例,為模型的實(shí)際應(yīng)用奠定一個(gè)較好的邏輯基礎(chǔ)。
關(guān)鍵詞:使用控制;授權(quán)模型;動(dòng)態(tài)描述邏輯;邏輯模型
關(guān)鍵詞:使用控制;授權(quán)模型;動(dòng)態(tài)描述邏輯;邏輯模型
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 模糊非單調(diào)描述邏輯f-SHOIQN綜述 15次下載
- 代碼重用攻擊的通用模型及描述語(yǔ)言 5次下載
- 一種使用動(dòng)態(tài)增減枝算法的DBN模型 3次下載
- 基于Logit動(dòng)態(tài)的交通方式選擇演化博弈模型 10次下載
- 動(dòng)態(tài)外觀模型和高階能量的雙邊視頻目標(biāo)分割方法 8次下載
- 可動(dòng)態(tài)判別電網(wǎng)異常負(fù)荷的CNN閥值模型 12次下載
- 帶有委托功能的UCONpreA模型安全性分析及DBRM0表達(dá) 0次下載
- 時(shí)序邏輯符號(hào)模型檢測(cè)器 1次下載
- 基于向量空間的多子網(wǎng)復(fù)合復(fù)雜網(wǎng)絡(luò)模型動(dòng)態(tài)組網(wǎng)運(yùn)算的形式描述 0次下載
- 支持動(dòng)態(tài)授權(quán)的訪問(wèn)控制機(jī)制 0次下載
- 基于復(fù)雜網(wǎng)絡(luò)模型的形狀描述和識(shí)別方法 0次下載
- SABER仿真模型電氣和熱元件之間的動(dòng)態(tài)連接 10次下載
- 一種模糊時(shí)態(tài)描述邏輯 0次下載
- 空間動(dòng)態(tài)模型建模方法分析 0次下載
- 基于線性時(shí)態(tài)邏輯的Petri網(wǎng)模型檢測(cè)研究
- 大型語(yǔ)言模型的邏輯推理能力探究 1025次閱讀
- 動(dòng)態(tài)模板語(yǔ)義分析-動(dòng)態(tài)綁定XML 683次閱讀
- 動(dòng)態(tài)模板-流程設(shè)計(jì) 575次閱讀
- 組合邏輯決策優(yōu)先級(jí)介紹 1390次閱讀
- 預(yù)訓(xùn)練語(yǔ)言模型的字典描述 1190次閱讀
- 描述u-boot驅(qū)動(dòng)模型的數(shù)據(jù)結(jié)構(gòu) 1681次閱讀
- Verilog時(shí)序邏輯中同步計(jì)數(shù)器的功能和應(yīng)用 3633次閱讀
- 邏輯架構(gòu)模型開(kāi)發(fā)概念原則詳解 4698次閱讀
- 什么是組合邏輯電路 如何使用verilog描述組合邏輯電路 5939次閱讀
- 電能表數(shù)據(jù)動(dòng)態(tài)存儲(chǔ)方法 1897次閱讀
- 常見(jiàn)的Verilog行為級(jí)描述語(yǔ)法 1w次閱讀
- 如何使用TensorFlow Hub文本模塊構(gòu)建一個(gè)模型,以根據(jù)相關(guān)描述預(yù)測(cè)電影類(lèi)型 3221次閱讀
- 數(shù)字電路里面有什么元素需要被描述? 4730次閱讀
- 飛機(jī)航向控制系統(tǒng)仿真動(dòng)態(tài)模型平臺(tái)的設(shè)計(jì) 2446次閱讀
- 時(shí)序邏輯電路分析有幾個(gè)步驟(同步時(shí)序邏輯電路的分析方法) 12.7w次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專(zhuān)業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論