Composable Formal Models for High-Assurance Fault Tolerant Networks

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.)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2004
Accession Number
ADA429319

Entities

People

  • Carolyn Talcott

Organizations

  • SRI International

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Authentication
  • Case Studies
  • Communication Systems
  • Computer Programs
  • Denial Of Service Attack
  • Environment
  • Information Operations
  • Infrastructure
  • Language
  • Physics Laboratories
  • Prototypes
  • Specifications
  • Websites

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Cybersecurity.
  • Software Engineering.