吴忠躺衫网络科技有限公司

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      百家乐官网庄闲必胜规| 金城百家乐官网玩法平台| 博湖县| 百家乐技巧打| 百家乐官网信誉平台现金投注| 威尼斯人娱乐城佣金| 澳门赌百家乐官网打法| 太阳城娱乐网址| 百家乐庄闲必胜手段| 百家乐官网室系统软件| 百家乐园选百利宫| 单双和百家乐官网游戏机厂家| 威尼斯人娱乐城简介| 百家乐麻关于博彩投注| 百家乐官网b28博你| 网上玩百家乐官网技巧| 利博亚洲| 大发888提款| 百家乐单跳打法| 百家乐官网桌子10人| 大发888 打法888| 百家乐破解赌戏玩| 百家乐长龙如何判断| 百家乐百家乐群| 百家乐官网百战百胜| 百家乐官网台布21点| 百家乐官网终端下载| 大发888娱乐城六合彩| 在线百家乐合作| 澳门百家乐游戏皇冠网| 百家乐游戏看路| 易球百家乐官网娱乐城| 百家乐官网翻天腾讯视频| 百家乐官网代理加盟| 威尼斯人娱乐城澳门赌场| 网上百家乐骗钱| 百家乐发牌牌规| 王子百家乐的玩法技巧和规则 | 大发扑克官网| 百家乐博彩吧| 全讯网777|