Foundations and Support for Survivable Systems
Abstract
Computing systems for managing critical infrastructures must tolerate failures and be resistant to attack. This report present a summary of accomplishments of a project that 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. Automated techniques for analyzing the fault-tolerance of distributed systems were also explored. Finally, a research program into security policy enforcement was initiated, 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 2001
- Accession Number
- ADA389358
Entities
People
- Fred B. Schneider
Organizations
- Cornell University