那曲檬骨新材料有限公司

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      百家乐平点| 足球系统出租| 新全讯网2| 威尼斯人娱乐中心老品牌| 威尼斯人娱乐场怎么样| 百家乐路技巧| 百家乐牡丹娱乐城| 威尼斯人娱乐城网| 北京太阳城国际老年公寓| 澳门百家乐赢钱技术| 金冠百家乐娱乐城| 百家乐官网7scs| 百家乐专打方法| 大发888官方下载删除| 皇家一号娱乐城| 十大博彩网| 新澳博天上人间娱乐| 百家乐官网娱乐注册就送| 百家乐官网7scs娱乐场| 网上百家乐官网怎么赌能赢钱| E世博百家乐官网的玩法技巧和规则 | 金世豪百家乐官网的玩法技巧和规则| 百家乐官网专打方法| 百家乐越长的路| 大发888娱乐场客户端下载| 澳门百家乐官方网站| 圣淘沙百家乐官网娱乐城| 百家乐官网贴士介绍| 百家乐官网园试玩| 百家乐官网平一直压庄| 百家乐波音平台导航网| 百家乐浴盆博彩通排名| 威尼斯人娱乐场棋牌| 天峨县| 盛大百家乐官网的玩法技巧和规则| 百家乐游戏类型| 足球百家乐系统| 姚安县| 星河百家乐官网的玩法技巧和规则 | 百家乐官网澳门百家乐官网澳门赌场 | 百家乐官网如何稳赢|