Formal Modeling of Communication Protocols.

Abstract

Interest in more rigorous definition and analysis of communication protocols is increasing. This report surveys the current state of the art in protocol specifications and verification. Methods for specification such as abstract machines, Petri nets, formal languages, abstract data types, and programs are described and compared. Verification methods including state exploration, symbolic execution, structural induction, and program proof are discussed. Work is progressing rapidly in many of these areas, and no clearly superior method has emerged yet. At least in the area of specification, some of these methods are ready for use a wider community of protocol designers and users. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1981
Accession Number
ADA098577

Entities

People

  • Carl A. Sunshine

Organizations

  • University of Southern California

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Communications Protocols
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Data Transmission
  • Digital Communications
  • Formal Languages
  • Information Science
  • Language
  • Network Protocols
  • Petri Nets
  • Programming Languages
  • Specifications
  • Standards
  • Validation
  • Verification

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Software Engineering.