计算机工程2008，Vol.34Issue(24)：162-164,3.
可视化的安全策略形式化描述与验证系统
Visual System of Formal Specification and Verification of Security Policy
摘要
关键词
安全策略/一致性/完备性/扩展访问控制标记语言分类
信息技术与安全科学引用本文复制引用
雷新锋,刘军,肖军模,周海刚,张一丹..可视化的安全策略形式化描述与验证系统[J].计算机工程,2008,34(24):162-164,3.基金项目
江苏省自然科学基金资助项目(BK2008090) （BK2008090）
