期刊文献+

基于服务体模型的安全操作系统中的通信与安全控制

Inter Serverblock Communication and its Security in Serverblock Based Secure Operating System
下载PDF
导出
摘要 在介绍基于执行流/服务体的操作系统模型的基础上,重点讨论了基于该模型的安全探作系统中的通信机制及其安全 控制.分析了通信可能受到的威胁,并给出了相应的对抗方法,从而简便有效的保证了探作系统的安全性. 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
  • 相关文献

参考文献6

  • 1Spencer R, Smalley S, Loscocco P et al. The flask security architecture: system support for diverse security policies[C]. In Proceedings of the Eighth USENIX Security Symposium, Aug.1999,123-139.
  • 2Fine T, Minear S E. Assuring distributed trusted mach[C]. In:Proceedings IEEE Computer Society Symposium on Research in Security and Privacy, pages 206-218, May 1993.
  • 3李宏,陈香兰,吴明桥,龚育昌,赵振西.服务体模型与操作系统内核设计技术[J].计算机研究与发展,2005,42(7):1272-1276. 被引量:13
  • 4李宏 龚育昌.基于服务体的操作系统体系结构[EB/OL].http:∥staff.ustc.edu.cn/~xlanchen/project paper/li5.doc,2004.
  • 5龚育昌 李宏.服务体模型与地址空间管理[EB/OL].http:∥staff.ustc.edu.cn/~xlanchen/project paper/li3.doc,2004.
  • 6龚育昌 吴明桥.安全操作系统中的权能管理模型[EB/OL].http:∥staff.ustc.edu.cn/~xlanchen/project paper/wu2.doc,2004.

二级参考文献6

  • 1Jay Lepreau, Mike Hibler. In-kernel servers on mach 3.0:Implementation and performance. The 3rd Usenix Mach Symposium, Santa Fe, NM, 1993
  • 2D. Engler. The exokernel operating system architecture: [Ph. D.dissertation]. Cambridge, MA: Massachusetts Inst. Technol.,1999
  • 3Hermann Hartig, Michael Hohmuth, et al. The performance of μkernel-based systems. The 16th ACM Symposium on Operating System Principles, St. Malo, France, 1997
  • 4Gernot Heiser. Implementation and performance of the mungi single-address-space operating system. Software: Practice & Experience, 1998, 28(9): 901~928
  • 5S. Shapiro. EROS: A fast capability system. The 17th ACM Symposium on Operating Systems Principles, Charleston, USA,1999
  • 6刘福岩,尤晋元.从多地址空间到单地址空间再到无地址空间[J].软件学报,2001,12(3):454-461. 被引量:2

共引文献12

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部