论文部分内容阅读
特权控制操作系统最重要的资源，需要应用职责隔离原则，确保特权安全．与现有研究不同，从特权隐式授权方面探讨对职责隔离的支持问题．通过分析特权来源，将特权定义分解为约束规则与执行规则，弥补了现有访问控制研究中对权限效果描述不足的缺陷．两类规则间的逻辑推导说明授权间的推导关系，即特权问存在隐式授权，可能不满足职责隔离要求．利用授权推导关系图准确而全面地反映了特权机制的所有隐式授权．从特权的职责隔离属性，及职责隔离对特权的机制要求两方面探讨上层职责隔离需求与底层特权控制实施的一致性问题．以目前广泛应用的POSIX