Construction Methodologies for Improving Distributed System Security - The Horus and Ensemble Projects
Abstract
The Horus and Ensemble efforts culminated a multi-year Cornell research program in process group communication used for fault-tolerance, security and adaptation. The intent was to understand the degree to which a single system could offer flexibility and yet maintain high performance, to explore the integration of fault-tolerance with security and real-time mechanisms, and to increase trust worthiness of these solutions by applying formal methods. This report summarizes the accomplishments of this work and evaluates the successes and failures of the approach.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 2001
- Accession Number
- ADA391993
Entities
People
- Bob Constable
- Christoph Kreitz
- Jason Hickey
- Ken Birman
- Mark Hayden
Organizations
- Cornell University