关键词: 完整性 安全保障 微内核 多服务器结构 进程隔离 消息通信 操作系统

Abstract: To avoid the security mechanism applied in operating systems being bypassed or tampered, this paper proposed the use of micro-kernel, multiserver architecture to assure the integrity of security kernel. Process isolation and message passing provided by th

Key words: Integrity, Security assurance, Micro kernel multi-server architecture, Process isolation, Message passing