Colonel John Boyd’s Observe/Orient/Decide/Act Loop (“OODA loop”) is a widely adopted decision-making analytical framework. We combine the OODA loop with the NSA Methodology for Adversary Obstruction to create a new cyber‑defense model.

Overview of Defense of Accounts integrated defense

Abstract: The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

The attached comment discusses Semantic eScience in the context of the Philosophy of Science and Joint Doctrine. In summary, The Philosophy of Science suggests that there are significant limitations to the predictive power of Semantic eScience; Semantic eScience could be more strongly aligned with Joint Doctrine. The effectiveness of Semantic eScience relative to other methods is not discussed because the effectiveness of Semantic eScience as a cybersecurity tool can only be established by field studies.

Abstract: Motivation: Power transmission networks underpin our way of life and are at the center of the transformation of the US energy system. “Keeping the lights on” as we transform an already large and complicated power system is a fundamental challenge for cyber- physical engineering. Future power networks will be instrumented with synchrophasor measurement units, communication infrastructures and distributed computing, and are therefore prototypical examples of cyber-physical systems with tightly coupled compu- tational and physical resources.

A computationally efficient cryptographic algorithm.