10.3969/j.issn.1000-386X.2010.05.024
利用逻辑编程方法进行形式化的网络安全策略验证
高级安全策略又称为安全需求,低级策略配置是高级策略的实现,正确的低级策略配置必须能够满足安全需求.网络安全取决于低级策略配置的正确性,由于策略配置异常复杂,并且缺乏准确描述安全需求的方法,这为策略的正确性分析提出了巨大的挑战.采用逻辑编程方法来分析网络安全策略,通过将低级策略配置、高级策略、漏洞信息等元素转化为逻辑程序,将网络中所有可能存在的访问与安全需求进行对比,判定策略配置是否满足安全需求,并给出所有不满足安全需求的策略配置.
XSB逻辑编程系统、策略层次、策略验证
27
TP3;TN9
国防教研基金重点资助项目9140A2601 0306JB5201
2010-06-22（万方平台首次上网日期，不代表论文的发表时间）
共5页
78-82
