BitTide
Menu
Home
Newest
Models
Tools
News
Products
Papers
Events
Daily Report
Search
Subscribe
Home
Newest
Models
Tools
News
Products
Papers
Events
Daily Report
Search
Subscribe
中文
Sign in
provably-secure
Tag
Cards
List
#provably-secure
The foundations of a provably secure operating system (PSOS) (1979) [pdf]
Hacker News Top
↗
· 2026-05-18
Cached
This 1979 academic paper presents the foundations of a provably secure operating system (PSOS).
0 favorites
0 likes
← Back to home
Feedback
×
Submit Feedback
Thank you for your feedback!
Submit