chinese直男口爆体育生外卖, 99久久er热在这里只有精品99, 又色又爽又黄18禁美女裸身无遮挡, gogogo高清免费观看日本电视,私密按摩师高清版在线,人妻视频毛茸茸,91论坛 兴趣闲谈,欧美 亚洲 精品 8区,国产精品久久久久精品免费

您好,歡迎來電子發(fā)燒友網(wǎng)! ,新用戶?[免費(fèi)注冊]

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

      用戶評論
      評價(jià):好評中評差評

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

      ?