%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