Composable Formal Models for High-Assurance Fault Tolerant Networks
Final technical rept. Jun 2002-Jun 2004
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
This effort carried out substantial case studies involving analysis of different network services to develop modeling and analysis methodologies and libraries of reusable models to aid in achieving higher assurance for, and more robust designs of, network systems. There are four main results 1 an analysis of a java secure proxy tool kit with models of attacks, mitigations, and patterns 2 a modular formal executable model of the secure spread group communications system 3 formal models of Distributed Denial of Service DDoS attacks and mitigation services complementing OPNET simulations and 4 a first prototype of Mobile Maude. 4 figures, 17 refs.
- Administration and Management
- Computer Systems