Analysis and Resolution of Integration of Multi Security Policies
多安全策略集成性问题的分析与解决

Resolution of integration of multi security policies is the base problem in secure OS which supports multi security policies and dynamic policies. This paper uses a state transition approach to formally analyze a security system and presents the different effects resulted by security-depended actions of different policies on security states. We will analyze TE ,RBAC model and T&R model (their integration model) .present a thinking to tackle the hybrid integration and consistency of multi-policies .which lay the foundation for implementing secure OS.