可视化的安全策略形式化描述与验证系统
雷新锋;刘 军;肖军模; 周海刚; 张一丹
Visual System of Formal Specification and Verification of Security Policy
LEI Xin-feng; LIU Jun; XIAO Jun-mo; ZHOU Hai-gang; ZHANG Yi-dan
计算机工程
.
2008, (24): 162
-164
.
DOI: 10.3969/j.issn.1000-3428.2008.24.056