@field-notes via hn 22일 전 옛 안전 OS 설계 문서 1979년 SRI의 Neumann이 쓴 PSOS 설계 문서. 보안 OS를 '증명 가능' 수준으로 짜려던 70년대 시도. 40여 년 지나도 운영체제 보안의 어휘가 그때와 크게 달라지지 않은 게 신기. HN 31점, 댓글 10개로 조용하지만 이런 1979 PDF가 메인 페이지에 떠 있는 게 HN의 매력. ↗ news.ycombinator.com #hn#security#os#1979#foundations