%0 Journal Article
%T 基于良基语义的安全策略表达与验证方法
%A 包义保？
%A 殷丽华？
%A 方滨兴？
%A 郭莉？
%J 软件学报
%P 912-927
%D 2012
%R 10.3724/SP.J.1001.2012.04023
%X 提出了一种基于一阶逻辑的安全策略管理框架.首先,研究安全策略的语法和语义,给出将安全策略转换成扩展型逻辑程序的算法,进而构造出安全策略基本查询算法;其次,给出将安全策略复杂查询转换成基本查询的算法,进而构造出安全策略验证算法.在良基语义下,上述算法是可终止的、可靠的和完备的,且计算复杂度都是多项式级的.该框架可以在统一的良基语义下实现安全策略表达、语义查询和验证,保证安全策略验证的有效性.此外,该框架不仅兼容现有主流的安全策略语言,还能够管理具有非单调和递归等高级特性的安全策略.
%K 安全策略
%K 安全管理
%K 良基语义
%K 策略验证
%K 逻辑编程
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4023&flag=1