广义不可推断属性相关硕士博士期刊学术论文 - 搜论网

广义不可推断属性相关论文

广义不可推断属性符号化算术验证的研究

多级安全系统中机密数据的泄漏本质上是信息的非法流动．广义不可推断属性刻画了不同安全级主体之间合法的信息流动．在系统应用之前，验......

期刊

广义不可推断属性信息流安全量化布尔公式多级安全系统隐通道 generalized noninference information flow secu

看过本文同时还关注