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

• 作者: 刘军 周海刚 张一丹 肖军模 雷新锋
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全策略 一致性 完备性 扩展访问控制标记语言
• 年，卷（期）: 2008,（24）
• 所属期刊栏目: 安全技术
• 页码范围: 162-164
• 页数: 3页
• 分类号: TP309
• 字数: 3281字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.24.056

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖军模	解放军理工大学通信工程学院	62	313	10.0	15.0
2	刘军	解放军理工大学通信工程学院	43	123	6.0	9.0
3	周海刚	解放军理工大学通信工程学院	24	169	6.0	12.0
4	雷新锋	解放军理工大学通信工程学院	7	15	3.0	3.0
5	张一丹	解放军理工大学通信工程学院	1	3	1.0	1.0