Accession Number:

ADA429319

Title:

Composable Formal Models for High-Assurance Fault Tolerant Networks

Descriptive Note:

Final technical rept. Jun 2002-Jun 2004

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Personal Author(s):

Report Date:

2004-12-01

Pagination or Media Count:

17.0

Abstract:

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.

Subject Categories:

  • Administration and Management
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE