[drone-list] US DoD Directive on Autonomy
pgut001 at cs.auckland.ac.nz
Mon Nov 26 17:15:35 PST 2012
Eugen Leitl <eugen at leitl.org> forwards:
>Mention is made in this document about the importance of "verification and
>validation" (V&V) of systems. Earlier this month, DARPA's High-Assurance
>Cyber Military Systems (HACMS) program awarded a 4.5 year $18M contract to an
>international consortium "to develop a complete, formally proven architecture
>to protect the control and communication systems of an aerial vehicle from
>compromise by faults and targeted attacks."
So the goal is the same as Orange book A1, but with a wider and scarier range
of attacks to defend against. OK then.
When are the deliverables for this due?
More information about the cypherpunks-legacy