衡阳派盒市场营销有限公司

您好,歡迎來電子發燒友網! ,新用戶?[免費注冊]

您的位置:電子發燒友網>源碼下載>數值算法/人工智能>

基于限界約束的安全性質的推理

大小:0.51 MB 人氣: 2017-11-21 需要積分:0

  安全相關的性質如訪問控制等在復雜環境下有十分重要的作用。從程序驗證方面來說,不僅考慮安全性和活性的驗證,還要考慮一些安全策略的性質,如非干涉性,這些不能用一般的性質來描述的安全策略可以被看作“超安全性質”。限界約束可通用地表示不同程度的訪問頻次限制,是安全相關性質驗證中有效的輔助方法之一,在無線傳感器網絡協議、嵌入式系統等重要領域的性質驗證方面具有廣泛的應用價值。主要研究網絡安全策略中的安全相關性質的限界表達及基于該限界約束的驗證規則。
?

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

      用戶評論
      評價:好評中評差評

      發表評論,獲取積分! 請遵守相關規定!

      ?
      沙龙百家乐官网破解| 黄浦区| 百家乐推荐怎么看| 百家乐官网平玩法lm0| 大发888娱乐城范本| 风水24山代表什么| 百利宫娱乐城信誉| 百家乐博彩网址| 百家乐官网专用| 真人百家乐官网导航| 国外合法赌博网站| 真人游戏网站| 百家乐专业豪华版| 喜力百家乐官网的玩法技巧和规则 | 百家乐游戏单机牌| 大东方百家乐官网游戏| 天健棋牌大厅下载| 百家乐德州| 百家乐技术辅助软件| 为什么百家乐官网玩家越来越多选择网上百家乐官网 | 抚远县| 百家乐官网龙虎玩| 百家乐官网平台开发| 日博| 线上娱乐场| 赢钱的棋牌游戏| 全讯网高手世家| 喜达百家乐的玩法技巧和规则 | 海王星百家乐官网的玩法技巧和规则| 太阳城百家乐官网杀祖玛| 泸水县| 网上百家乐群的微博| 百家乐大赌场娱乐网规则| 百家乐变牌器批发| 百家乐赌博破解方法| 香港百家乐玩法| 百家乐可以破解吗| 百家乐英皇赌场娱乐网规则| 百家乐老是输| 百利宫百家乐的玩法技巧和规则| 百家乐平台注册|