策略层次相关硕士博士期刊学术论文 - 搜论网

策略层次相关论文

利用逻辑编程方法进行形式化的网络安全策略验证

高级安全策略又称为安全需求,低级策略配置是高级策略的实现,正确的低级策略配置必须能够满足安全需求。网络安全取决于低级策略配......

期刊

XSB逻辑编程系统策略层次策略验证 XSB logic programming system Policy hierarchy Policy verific

看过本文同时还关注