%0 Journal Article
%A 雷新锋
%A 刘 军
%A 肖军模
%A 周海刚
%A 张一丹
%T 可视化的安全策略形式化描述与验证系统
%D 2008
%R 10.3969/j.issn.1000-3428.2008.24.056
%J 计算机工程
%P 162-164
%V 34
%N 24
%X 通过分析安全策略中可能出现的问题,对安全策略的一致性与完备性进行形式化定义。通过构造安全策略的状态模型,提出策略的一致性与完备性验证算法。基于可扩展访问控制标记语言,设计并实现一种安全策略的形式化描述与验证系统。该系统将形式化的验证过程自动化,以可视化的形式为普通用户提供一种高效的策略验证工具。
%U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2008.24.056