Comment on The Department of Defense Efforts to Buy and Maintain IT Systems Are Billions Over Budget and Delayed
My husband says it is not secret what they use. It is something called L4-SEC which has formal proofs of correctness
We need the /s tag around here for even the mildest and most obvious jokes.
www.sigops.org/s/conferences/…/klein-sosp09.pdf
You may need to work on your jokes :)
shalafi@lemmy.world 1 day ago
We need the /s tag around here for even the mildest and most obvious jokes.
bacon_pdp@lemmy.world 23 hours ago
www.sigops.org/s/conferences/…/klein-sosp09.pdf
danzabia@infosec.pub 1 day ago
You may need to work on your jokes :)