Adaptive Probabilistic Protocols for Advanced Networks/Assuring the Integrity of Highly Decentralized Communications Systems

摘要

The project consisted of two merged DARPA-funded efforts exploring related but different topics. The first was a project to develop a new kind of probabilistically scalable, stable, communications protocols and to exploit these protocols in building a new kind of scalable software infrastructure for large, dynamic, mission-critical networked applications. Examples include networks exploited to support massive data centers (such as are used by the NSA and CIA, by a great variety of military applications, and by a new generation of lightweight sensor networks). The second was a project to elaborate on a new 'compositional' method for protocol design and implementation, in which small microprotocols are combined to obtain a protocol customized to the needs of a specific setting, under control of an automated theorem proving system that can guarantee correctness of the resulting specialized protocol, subject to the validity of assumptions that guide the process. The second was a project to elaborate on a new 'compositional' method for protocol design and implementation, in which small microprotocols are combined to obtain a protocol customized to the needs of a specific setting, under control of an automated theorem proving system that can guarantee correctness of the resulting specialized protocol, subject to the validity of assumptions that guide the process.