基于逻辑和辩论的安全策略一致性研究

基于逻辑和辩论的安全策略一致性研究

翟浩良，韩道军，李磊

Research on Consistency of Security Policy Based on Logic and Argument

ZHAI Haoliang, HAN Daojun, LI Lei

计算机科学与探索 . 2012, (4): 355 -365 . DOI: 10.3778/j.issn.1673-9418.2012.04.008