ABSTRACT

Composable Formal Models for High-Assurance Fault Tolerant Networks   [open pdf - 112KB]

"This effort carried out substantial case studies involving analysis of different network services in order 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 toolkit 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."

Report Number:
AFRL-IF-RS-TR-2004-334, DARPA Order No. N442
Author:
Publisher:
Date:
2004-12
Copyright:
Public Domain
Retrieved From:
Defense Technical Information Center (DTIC): http://www.dtic.mil/dtic/
Format:
pdf
Media Type:
application/pdf
URL:
Help with citations