The foundations of a provably secure operating system (PSOS) (1979) [pdf]
·
0 reactions
·
0 comments
·
27 views
About this source
Hacker News (Front Page) files mainly under programming. We currently carry 522 of its stories. Top-voted stories on Hacker News.
Original article
Sri
Anonymous · no account needed
Discussion
0 commentsMore from Sri
Christian Brothers abuse victims to get ‘full’ compensation in backdown after controversial property sales
The Guardian — World·0
Yonhap News Summary
Yonhap News Agency·0
Commodities: Brent Tops $100/Bbl As Middle East Tensions Build
Seeking Alpha·0
Bullish Sentiment Starting To Swing
Seeking Alpha·0
U.S. Pentagon awards Oracle nearly $7 billion deal in latest software consolidation push
The Hindu·0
ASX Runners of the Week: Ceretas, Pacgold & Hamelin Gold
The Sydney Morning Herald·0