Composable Formal Models for High-Assurance Fault Tolerant Networks

This Web page contains links to presentations and results obtained as part of the DARPA Fault Tolerant Networks program

Investigators

• Jose Meseguer
• Carolyn Talcott

Relevant Items

• Project Summary
• Quad Chart [PPT] [PDF]

Presentations

• July 2002 FTN PI meeting [PPT] [PDF]
• Jan 2003 FTN PI meeting [PPT] [PDF]
• Jul 2003 FTN PI meeting [PS]

Case Studies

• Modeling and Analysis of a Secure Service Proxy Toolkit
• Modeling and Analysis of Secure Spread
• A prototype network simulator

Mobile Maude Prototype

• Mobile Maude code, documentation, and example can be found here

• The Maude system including the implementation, its documentation, a collection of examples, and a list of related papers.
• The IOP interoperability platform for interoperation of formal tools such as Maude.