Maude: A Wide Spectrum Language for Secure Active Networks

Abstract

Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need, for new network models. In this report, we propose a wide-spectrum methodology using executable rewriting logic specifications to address this challenge. We also show how, using the Maude rewriting logic language and tools, active network systems, languages, and protocols can be formally specified and analyzed using a wide range of formal methods. Benefits include: precise documentation of designs; early discovery of many bugs and omissions; and higher assurance of correct behavior. In this paper we illustrate these methods and their practical usefulness through two case studies: the AER/NCA protocol suite, and the PLAN active network language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2002
Accession Number
ADA406892

Entities

People

  • Carolyn Talcott
  • José Meseguer

Organizations

  • SRI International

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Case Studies
  • Communication Channels
  • Communication Systems
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Debugging
  • Formal Languages
  • Language
  • Military Research
  • Programming Languages
  • Security Protocols
  • Software Design
  • Software Prototyping
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Database Systems and Applications