On Tue, Nov 27, 2012 at 02:15:35PM +1300, Peter Gutmann wrote:

Eugen Leitl <eugen@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?

No idea. I'm just the conduit.