"Computing systems for managing critical infrastructures must tolerate failures and be resistant to attack. This project has explored techniques for building such survivable critical-infrastructure systems. Mechanisms were developed for ensuring integrity of hosts that execute mobile code and for ensuring fault-tolerance of computations that are structured in terms of mobile code. We also explored automated techniques for analyzing the fault tolerance of distributed systems. And, finally, we initiated a research program into security policy enforcement, by both characterizing what policies are enforceable and devising new object-code rewriting methods for security policy enforcement. A list of the publications produced by the project appears as the final section of this report."
Defense Technical Information Center (DTIC): http://www.dtic.mil/dtic/