A model for verification of data security in operating systems

DOI10.1145/359588.359597zbMath0399.68036OpenAlexW2025429468WikidataQ113434071 ScholiaQ113434071MaRDI QIDQ4184301

Gerald J. Popek, David A. Farber

Publication date: 1978

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359588.359597

zbMATH Keywords

Program VerificationData SecurityUcla Secure Operating System

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (2)

CoCon: a conference management system with formally verified document confidentiality ⋮ Operating system verification---an overview

This page was built for publication: A model for verification of data security in operating systems