基于良基语义的安全策略表达与验证方法

摘要：

提出了一种基于一阶逻辑的安全策略管理框架.首先,研究安全策略的语法和语义,给出将安全策略转换成扩展型逻辑程序的算法,进而构造出安全策略基本查询算法；其次,给出将安全策略复杂查询转换成基本查询的算法,进而构造出安全策略验证算法.在良基语义下,上述算法是可终止的、可靠的和完备的,且计算复杂度都是多项式级的.该框架可以在统一的良基语义下实现安全策略表达、语义查询和验证,保证安全策略验证的有效性.此外,该框架不仅兼容现有主流的安全策略语言,还能够管理具有非单调和递归等高级特性的安全策略.

关键词：安全策略、安全管理、良基语义、策略验证、逻辑编程

所属期刊栏目：23

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金61070186;国家高技术研究发展计划8632009AA01Z438,2009AA01Z43;国家重点基础研究发展计划9732007CB311100

在线出版日期：2012-06-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：912-927