The primary goal of the project is to develop techniques for ensuring that industrial control and combat systems (ICCS) are resilient to cyber-physical attacks; that is, attacks that combine conventional cyber intrusions with interference to the physical environment of ICCS. A number of such attacks have emerged recently. These incidents suggest that conventional information security approaches may not be effective in dealing with such attacks. This project will develop new security techniques specifically targeting cyber-physical attacks. The new techniques will be compatible with exising ICCS development techniques, allowing legacy ICCS to be retrofitted with enhanced security guarantees.