"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."
AFRL-IF-RS-TR-2004-334, DARPA Order No. N442
Defense Technical Information Center (DTIC): http://www.dtic.mil/dtic/