Distributed System Security---DARPA

2000 DARPA Nuprl Spinglass: Assuring the Integrity of Highly Decentralized Communications Systems

1999 DARPA Interoperability Summary: Formal Methods for Software Evolution

1997 DARPA Summary Report

Ensemble Groupware System

Automata Library


Return to Main Index