DARPA wants novel security technology to protect SCADA, embedded systems

The goal of the DARPA High-Assurance Cyber Military Systems (HACMS) program is to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. Achieving this goal requires a fundamentally different approach from what the software community has taken to date. …

Read more