Skip to content
NewA calmer, faster ZeroHour
Researchinfo

A Survey of Security Research for Operating Systems

arXiv cs.CRby Masaki Hashimoto ()1 min read3
Read at arxiv.org
AI summary · grok-4.7Summaries by Vani AI

Survey reviews OS virtualization, verification, and access control against reference-monitor requirements.

This survey reviews operating-system security research on virtualization, formal OS verification, and access control. It connects those technologies to the design requirements of the reference monitor and discusses prospects and open challenges. The abstract reports no new vulnerabilities, exploits, or measured evaluations.

Key facts
  • Surveys virtualization, OS verification, and access control
  • Relates each area to reference-monitor design requirements
  • Outlines prospects and remaining challenges
Analyze this story with Vani AIImpact, who is affected and what defenders should do, in a new chat
Tags
operating-systemsvirtualizationaccess-controlreference-monitorsurvey

From the original article

1 min read at arxiv.org

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.

arXiv cs.CR

By Masaki Hashimoto · arxiv.org

Read the full article at arXiv cs.CR

A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.