증명 가능한 보안 운영 체제(PSOS)의 기반 (1979) [pdf]The foundations of a provably secure operating system (PSOS) (1979) [pdf]▲ 130 · csl.sri.com · 20일 전 · 92 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…