Home 零对冲(ZeroHedge)每日HackerNews

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

原始链接: http://www.csl.sri.com/users/neumann/psos.pdf

%PDF-1.4 % 36 0 obj > endobj xref 36 13 0000000016 00000 n 0000000607 00000 n 0000000967 00000 n 0000001444 00000 n 0000001562 00000 n 0000001673 00000 n 0000001789 00000 n 0000001818 00000 n 0000001846 00000 n 0000004559 00000 n 0000004581 00000 n 0000000721 00000 n 0000000946 00000 n trailer ] >> startxref 0 %%EOF 37 0 obj > endobj 47 0 obj > stream Hb```f``$kx( qZji

Hacker Newsnew | past | comments | ask | show | jobs | submitloginThe foundations of a provably secure operating system (PSOS) (1979) [pdf] (sri.com)17 points by rurban 48 minutes ago | hide | past | favorite | 2 comments help lkos 6 minutes ago | next [–] I would honestly like to understand why Miagg's comment has been flagged.replydmoy 1 minute ago | parent | next [–] Might be people just flagging so mods can make an "Is this an LLM not?" determination. I see a lot of new accounts get flagged like this (and scanning the previous comments, ehhhhh yea maybe?).Idk, just guessingreply Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search:
相关文章
原文
%PDF-1.4 % 36 0 obj > endobj xref 36 13 0000000016 00000 n 0000000607 00000 n 0000000967 00000 n 0000001444 00000 n 0000001562 00000 n 0000001673 00000 n 0000001789 00000 n 0000001818 00000 n 0000001846 00000 n 0000004559 00000 n 0000004581 00000 n 0000000721 00000 n 0000000946 00000 n trailer ] >> startxref 0 %%EOF 37 0 obj > endobj 47 0 obj > stream Hb```f``$kx( qZji
联系我们 contact @ memedata.com