摘要： 解决多安全策略的集成性问题是安全操作系统支持多策略和动态策略的基础。本论文采用形式化的方法为安全系统建立了全局安全状态的迁移模型，以TE和RBAC策略为例分析了不同策略作用下安全关联行为对安全状态的影响，并根据T&R集成模型提出了解决多策略集成性和一致性问题的思想，为安全操作系统的实现奠定了基础。

关键词: 多安全策略 集成性问题 安全操作系统 TE策略 RBAC策略 安全关联行为 状态迁移模型