摘要
在介绍基于执行流/服务体的操作系统模型的基础上,重点讨论了基于该模型的安全探作系统中的通信机制及其安全 控制.分析了通信可能受到的威胁,并给出了相应的对抗方法,从而简便有效的保证了探作系统的安全性.
Based on introducing the novel serverblock model of operating system, the paper discusses the communication mechanism and the security control of a serverblock model based secure operating system in detail. Then the analysis of threats to communication and the countermeasures to ensure system security efficiently are presented as well.
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第10期1858-1862,共5页
Journal of Chinese Computer Systems
基金
国家自然科学基金项目(60273042)资助安徽省自然科学基金项目(03042203)资助.
关键词
安全操作系统
服务体模型
执行流
服务体间通信
secure operating system
serverblock model
executive-stream
inter serverblock communication