Work

A Survey of Security Research for Operating Systems

Year: 2026

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2610.11471

Authors: Hashimoto, Masaki, Ando, Ruo, Maeda, Toshiyuki, Tanaka, Hidehiko

Institutions: Institute of Information Security, National Institute of Information and Communications Technology, The University of Tokyo

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W595999655

Cites: 71

Cited by: 1

Related to: 10