Problem
Research questions and friction points this paper is trying to address.
Operating System Security
Virtualization
Access Control
Reference Monitor
OS Verification
A Survey of Security Research for Operating Systems
🤖 AI Summary
This study addresses the urgent need to enhance the security of information systems as critical societal infrastructure. Adopting the reference monitor architecture as a theoretical framework, this work systematically reviews three core technologies: virtualization, formal verification of operating systems, and fine-grained access control. It provides an in-depth analysis of their technical prospects and evolutionary challenges within security requirements analysis. Furthermore, this research constructs a comprehensive landscape of the operating system security domain, delineating integration pathways and future development directions for these technologies. By doing so, it establishes a solid theoretical foundation and a clear technical roadmap for overcoming existing bottlenecks in system security.
📝 Abstract
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.
Innovation
Methods, ideas, or system contributions that make the work stand out.
Operating System Security
Virtualization
Access Control
Reference Monitor
OS Verification
🔎 Similar Papers
No similar papers found.
