基于限界約束的安全性質(zhì)的推理
大小：0.51 MB 人氣： 2017-11-21 需要積分：0
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）
標(biāo)簽：約束(12663)
安全相關(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%
不好我反對(duì)
(0) 0%
下載地址
基于限界約束的安全性質(zhì)的推理下載
相關(guān)電子資料下載
- 鴻蒙ArkTS聲明式開發(fā)：跨平臺(tái)支持列表【布局約束】 通用屬性 142
- 加法進(jìn)位鏈的手動(dòng)約束 802
- FPGA工程的時(shí)序約束實(shí)踐案例 238
- Xilinx FPGA的約束設(shè)置基礎(chǔ) 334
- 時(shí)序約束實(shí)操 1501
- 云天勵(lì)飛如何打破大模型應(yīng)用的“三角約束”？ 162
- 我們?cè)撊绾螒?yīng)對(duì)SOC中越來越龐大和復(fù)雜的SDC約束？ 661
- FPGA時(shí)鐘約束余量超差問題的解決方案 341
- 介紹一種新的可以約束光的納米級(jí)領(lǐng)結(jié)結(jié)構(gòu) 256
- 機(jī)器人運(yùn)動(dòng)學(xué)中的非完整約束與運(yùn)動(dòng)模型推導(dǎo) 900