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

Hacker News Top 2026/05/18 09:40 论文

academic security operating-system provably-secure historical

摘要

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

暂无内容

查看原文

查看缓存全文

缓存时间: 2026/05/18 12:55

无法翻译：提供的输入为PDF二进制数据，不包含可翻译的英文文章内容。请提供纯文本格式的源文章。

相似文章

Lobsters Hottest

本文提供了Peter Henderson 1982年关于纯函数式操作系统的论文扫描版，该论文此前在网上难以获取。

arXiv cs.AI

本立场文件提出了一种基础模型操作系统（FMOS），用于虚拟化基础模型交互，为应用程序提供专用、可信的实例，并通过编排和策略执行实现自进化能力。

arXiv cs.AI

本文提出了智能体操作系统（AOS），这是一个面向分布式智能体系统的厂商中立的参考操作架构，涵盖治理、运行时协调和可靠性。其目标是提供一个稳定的框架，将异构组件组合成可治理、可观测的智能体系统。

Lobsters Hottest

这篇1996年的论文探讨了尽管缺乏形式化证明，软件可靠性却日益提高的原因，讨论了非正式方法和工程实践。

Lobsters Hottest

本文解释了软件沙盒技术的基础知识，详细介绍了通过使用 seccomp 和 BPF 等技术来增强安全性的系统调用策略，并受到了 Docker、systemd 和 OpenBSD 的影响。