TIARA: Trust-management, Intrusion-tolerance, Accountability and Reconstitution Architecture
A Project in the IARPA NICECAP Program
Howie Shrobe
Principal Research Scientist, MIT CSAIL
Tom Knight
Senior Research Scientist, MIT CSAIL
Andre' de Hon
Professor, University of Pennsylvania
Our Technical Proposal can be found here
An Overview Presentation can be found here
The following presentations on aspects of the TIARA design are also available:
Object Oriented Structures, Metadata and Hardware Support
Procedure Call and Control Flow
Process Management and Isolation
Access control, flow tracing and execution monitoring
garbage collection, I/O system, estimates of hardware viability to be provided soon.