provably-secure

标签

#provably-secure

可证明安全操作系统(PSOS)的基础（1979）[pdf]

Hacker News Top ↗ · 2026-05-18 缓存

这篇1979年的学术论文介绍了可证明安全操作系统(PSOS)的基础。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈