发表机构
Graduate School of Information Security; Institute of Information Security（信息安全研究生院; 信息安全研究所）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文针对作为社会基础设施的信息系统安全需求，结合引用监控器设计要求，调研虚拟化、操作系统验证及访问控制技术，阐述其前景与挑战。
AI 中文摘要
近年来，信息系统已成为社会基础设施，其安全亟需提升。本文结合引用监控器的设计需求，介绍了虚拟化、操作系统验证及访问控制技术的调研结果，并阐述了各技术的前景与挑战。
英文摘要
In recent years, information systems have become the social infrastructure, so that their security must be improved urgently. In this paper, we introduce the results of the survey of virtualization, operating system verification and access control technologies in association with the design requirements of the reference monitor. Additionally, we show the prospects and challenges for each technology.
Journal refIPSJ Transactions on Advanced Computing Systems (ACS), Vol. 5, No. 2, pp. 51-62, March 2012
