论文部分内容阅读
多策略融合是访问控制技术研究的重要内容．可信恢复是高等级安全操作系统的必需功能．为解决过于严格的安全策略难以推广应用的局限性，提出了一种可确保完整性策略恢复后有效性的可信恢复模型．首先给出了模型的框架结构，利用多模型融合方法，通过对类型实施模型（typeenforcement，TE）和基于角色的访问控制（role—basedaccesscontrol，RBAC）模型的重新构造和配置，实现了形式化的ClarkWilson完整性策略模型及其扩展模型PCW（Povey’SClarkWilson）．然后，结合文件