您好，歡迎來電子發(fā)燒友網(wǎng)！ ，新用戶？[免費注冊]

您的位置：電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

基于限界約束的安全性質(zhì)的推理

大?。?/span>0.51 MB 人氣： 2017-11-21 需要積分：0

推薦 + 挑錯 + 收藏(0) + 用戶評論（0）

前往下載地址

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

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

      發(fā)表評論，獲取積分！ 請遵守相關規(guī)定！

      ?