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