電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對使用控制模型（ UCON）中加入委托功能后安全分析愈加復(fù)雜的問題，首先形式化地表達了其子模型——使用前授權(quán)（ UCONpreA）的委托過程，通過分析證明了一般帶有委托功能的UCONpreA模型的安全性是不可確定的，然后通過構(gòu)造有限狀態(tài)機的方法證明了一個受約束的帶有委托功能的UCONpreA模型的安全性是可確定的，最后利用該約束模型成功地表達了傳統(tǒng)的基于角色的委托模型（ RBDMO）；并進一步增強了UCON的表達能力，能有效保證其安全性。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于模型的航空飛行安全性分析技術(shù)綜述 6次下載
- 高安全性應(yīng)用開發(fā)環(huán)境的時序性質(zhì)驗證框架 1次下載
- 云系統(tǒng)的安全性增強算法及其研究 4次下載
- 智能卡加密芯片安全性分析資料下載
- 基于智能合約的三方博弈理性委托計算協(xié)議 3次下載
- 什么是數(shù)據(jù)庫安全性數(shù)據(jù)庫安全性的詳細資料總結(jié) 6次下載
- 智能連接物聯(lián)網(wǎng)邊緣節(jié)點的安全性分析
- 全面解析OSPF路由協(xié)議安全性分析 8次下載
- 動態(tài)路由協(xié)議安全性分析 21次下載
- 蘇爾壽低壓旁路的安全性分析
- 基于Kerberos協(xié)議的SyncML安全性改進
- 座椅被動安全性仿真分析與結(jié)構(gòu)參數(shù)化設(shè)計
- EFS的研究與安全性分析
- 基于BAN邏輯分析Otway-Rees協(xié)議安全性
- linux操作系統(tǒng)的安全性 0次下載
- UPS電源的安全性和可靠性分析 580次閱讀
- 工業(yè)控制系統(tǒng)安全性分析與對策 1252次閱讀
- 工業(yè)以太網(wǎng)安全性分析及防護措施 667次閱讀
- 可靠性與安全性 6245次閱讀
- 通過SHA-256主/從身份驗證系統(tǒng)實現(xiàn)更高的安全性 1195次閱讀
- 不折不扣的安全性 660次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動態(tài)分析 1588次閱讀
- UltraSoC 和 ResilTech 攜手以進一步提高汽車系統(tǒng)功能安全性 1211次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設(shè)計 2816次閱讀
- 32650鋰電池安全嗎_32650鋰電池的安全性分析 3.7w次閱讀
- 影響鋰離子動力電池安全性因素分析 7433次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.6w次閱讀
- 智能家居安全嗎_智能家居安全性分析 3148次閱讀
- 如何輕松達成汽車功能的安全性？ 5371次閱讀
- 通信協(xié)議標準FlexRay總線的功能安全性詳解 9706次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網(wǎng)監(jiān)
評論