多策略适应的一种POSIX权能遗传算法.pdfVIP

第 27 卷第 2 期 通 信 学 报 Vol.27 No.2 2006 年 2 月 Journal on Communications February 2006 多策略适应的一种 POSIX 权能遗传算法 沈晴霓 1,2 ，卿斯汉 1,2 ，贺也平 1,2 ，沈建军 1,2 （1. 中国科学院 软件研究所 信息安全技术工程研究中心，北京 100080 ；2. 中国科学院 研究生院，北京 100039 ） 摘 要: 多数支持 POSIX 权能机制的安全操作系统提出了各自的权能遗传算法，但这些算法都只适用于特定的最 小特权控制策略，并且存在语义冲突、安全目标不明确等问题，不能有效支持多种安全需求不同的特权策略。通 过对一些现有算法的深入分析，提出了一种新的权能遗传算法，该算法引入策略关联的权能控制变量以及可信应 用属性。实例分析表明本算法具有策略适应性和可用性，形式化分析和验证表明它可使系统满足特权策略的基本 安全定理。 关键词：操作系统安全；权能机制；权能遗传算法；最小特权 中图分类号：TP309 文献标识码：A 文章编号：1000-436X(2006)02-0066-07 Policy-adaptive capability inheritance algorithm consistent with POSIX standard SHEN Qing-ni1,2, QING Si-han1,2, HE Ye-ping1,2, SHEN Jian-jun1,2 (1. Engineering and Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China; 2. Graduate School of Chinese Academy of Sciences, Beijing 100039, China) Abstract: In order to support POSIX capability mechanism, many secure operating systems provided individual capability inheritable algorithms. These algorithms were only applicable to specified least privilege control policies, and had such defects as semantic conflicts and no defined security-objectives. So they couldn’t flexibly support for implementing diversified privilege policies for different requirements. Based on the analysis of some existing algorithms, a new capability inheritance algorithm was proposed, which introduced the policy-relevant capability control variable and the trusted application