The foundations of a provably secure operating system (PSOS) (1979) [pdf] 121 points by rurban 156 days ago www.csl.sri.com 85 comments Summary not yet generated for this article. Comments (85 of ) ⌛ Loading more comments... ⌛ Scroll down to load more comments No comments available.
Comments (85 of ) ⌛