共 1 条
[1]
高安全级操作系统形式设计的研究.[D].季庆光.中国科学院研究生院（软件研究所）.2004, 03
支持POSIX权能机制的一个新的特权控制的形式模型
被引：6
作者：
季庆光
卿斯汉
贺也平
机构：
[1] 中国科学院软件研究所信息安全技术工程研究中心
[2] 中国科学院软件研究所信息安全技术工程研究中心 北京
[3] 北京
来源：
关键词：
形式模型;
极小特权;
角色;
域;
权能;
D O I：
暂无
中图分类号：
TP316.81 [];
学科分类号：
081202 ;
0835 ;
摘要：
为了在操作系统中实施极小特权原理,必须对进程的特权进行有效的控制;但是进程的动态性使实现对它的控制变得困难重重.在深入分析进程特权的形成过程和作用机制的基础上,提出了实施极小特权原理的三层实现机制,即管理层、功能控制层和执行层;而且明确指出限制特权的有效范围是特权控制的重要环节,POSIX中已经提到了它,但是POSIX的权能机制并不能有效地支持它.在分析现有控制机制的优缺点的基础上,不仅提出了改进的权能公式,而且提出了基于RBAC:,DTE和POSIX权能机制的新的进程控制机制的完整的形式模型;模型中的新不变量反映了新机制与RBAC,DTE和POSIX权能机制的不同,新机制推广了子域控制机制,实现了子域控制机制的动态化.
引用
收藏
页码：683 / 700
页数：18
相关论文