The foundations of a provably secure operating system (PSOS) (1979) [pdf] Von Hackernews 18. Mai 2026 security ORIGINAL QUELLE:csl.sri.com Quelle: Hackernews Comments Tags: comments, curve, foundation, probably, Security