操作系统安全结构框架中应用类通信安全模型地研究.pdfVIP

大会论文 ．23． 操作系统安全结构框架中 应用类通信安全模型的研究 郑志蓉蔡谊沈昌祥 海军计算技术研究所 摘要：本文在支持应用类安全的操作系统安全结构框架的基础上。提出了一种将BLP模型 和Biba模型相结合的应用类通信安全模型，这种安全模型经过证明既符合BLP模 型又符合B1ba模型。根据该模型，给出了在操作系统中实现应用类安全通信的具体 方法，解决了应用类之间交互信息的保密性和完整性问题。 关键词：操作系统应用类BLP模型Biba模型安全协调嚣 随着操作系统从支持早期的编程用户过渡到目 在这个安全框架下，操作系统主要完成应用类之间的 前支持的各种应用系统，操作系统如何支持应用系 通信机制和应用类安全策略的执行机制。安全通道建 统的安全成为迫切需要解决的问题。本文首先在第 立了应用类和自身安全策略的一一对应关系，