ABSTRACT

Foundations and Support for Survivable Systems   [open pdf - 537KB]

"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."

Report Number:
AFRL-IF-RS-TR-2001-21
Author:
Publisher:
Date:
2001-03
Copyright:
Public Domain
Retrieved From:
Defense Technical Information Center (DTIC): http://www.dtic.mil/dtic/
Format:
pdf
Media Type:
application/pdf
URL:
Help with citations