The foundations of a provably secure operating system (PSOS) (1979) [pdf](csl.sri.com)121 points by rurban 5 months ago | 83 comments
![Screenshot of csl.sri.com: The foundations of a provably secure operating system (PSOS) (1979) [pdf]](https://hn.urlbox.com/shots/renders/2026/5/18/93a37368-b0bc-4c85-aece-75051da1c5a6.jpg)