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

作     者：雷新锋 刘军 肖军模 周海刚 张一丹 LEI Xin-feng;LIU Jun;XIAO Jun-mo;ZHOU Hai-gang;ZHANG Yi-dan

作者机构：解放军理工大学通信工程学院南京210007 

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

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2008年第34卷第24期

页      码：162-164页

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

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

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2008.24.056

馆 藏 号：203156336...