可视化的安全策略形式化描述与验证系统

摘要：

通过分析安全策略中可能出现的问题,对安全策略的一致性与完备性进行形式化定义.通过构造安全策略的状态模型,提出策略的一致性与完备性验证算法.基于可扩展访问控制标记语言,设计并实现一种安全策略的形式化描述与验证系统.该系统将形式化的验证过程自动化,以可视化的形式为普通用户提供一种高效的策略验证工具.

关键词：安全策略、一致性、完备性、扩展访问控制标记语言

所属期刊栏目：34

分类号：TP309(计算技术、计算机技术)

资助基金：江苏省自然科学基金资助项目BK2008090

在线出版日期：2009-02-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：162-164