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 3 weeks ago
We need the /s tag around here for even the mildest and most obvious jokes.
bacon_pdp@lemmy.world 3 weeks ago
www.sigops.org/s/conferences/…/klein-sosp09.pdf
danzabia@infosec.pub 3 weeks ago
You may need to work on your jokes :)