The foundations of a provably secure operating system (PSOS) (1979) [pdf] May 18, 2026 by Cnznews notes <a href Share this: Share on Facebook (Opens in new window) Facebook Share on X (Opens in new window) X Like this:Like Loading... Related