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

• 作者: 包义保 方滨兴 殷丽华 郭莉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 安全策略 安全管理 良基语义 策略验证 逻辑编程
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 912-927
• 分类号: TP393
• 字数: 15104字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2012.04023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	殷丽华	中国科学院计算技术研究所	17	284	7.0	16.0
2	方滨兴	中国科学院计算技术研究所	45	1371	19.0	36.0
3	郭莉	中国科学院计算技术研究所	64	788	14.0	26.0
4	包义保	中国科学院计算技术研究所	11	41	4.0	6.0