This MURI’s objective is to begin the development of an architecture or first principle foundation to define Cyber Security for such a system. The intent is to discover and define basic system properties that compose system security and other useful attributes, system properties that can be verified and validated through theoretical proof and/or experiment. The research concentration areas below represent one view of a potential architecture/foundation. Other views, such as network based views, are welcome.