摘要： 在安全操作系统中,安全策略的实施可能导致已有的应用程序无法正常运行。把应用程序抽象为一组功能模块的集合,在此基础上提出安全策略与应用程序之间的兼容性检测方法。基于多策略安全模型,该文建立安全操作系统的应用支持模型,分析了该模型的安全性。

关键词: 安全模型, 安全操作系统, 应用支持模型

Abstract: In a secure operating system, security policies may not be compatible with existing applications thus cause failures in them. By abstracting an application as a set of function modules, a compatibility testing method is proposed. Based on multi-policy security model, a model for resolving compatibility problems is presented. Security of the model is discussed.

中图分类号: 

• TP309.2