策略安全性分析相关硕士博士期刊学术论文 - 信丰网

策略安全性分析相关论文

基于模型检测的信息流策略安全性分析

分布式信息流控制是增强系统安全的一种有效方法，但其灵活性也增加了策略管理和分析的复杂性。策略的安全性分析判定系统的所有可达......

期刊

策略安全性分析分布式信息流控制模型检测计算树逻辑 KRIPKE结构 security analysis of policy decentralized

看过本文同时还关注