On the Formal Specification of Computer Communication Protocols.

Abstract

This thesis gives a framework for specifying and verifying communications protocols. It views a communication system as a hierarchy of abstract machines using the Hierarchical Development Methodology of SRI International. The major results are a framework for formally specifying protocols, the formal specification of a particular protocol and an evaluation of the applicability of HDM to protocol specifications. It includes a specification of the Internet Protocol developed for the Department of Defense as a sample use of the methods advocated in the thesis.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1980
Accession Number
ADA100189

Entities

People

  • Kenneth F. Shotting

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Application Protocols
  • Application Software
  • Communication Systems
  • Communications Protocols
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Electronic Mail
  • Network Architecture
  • Network Protocols
  • Network Science
  • Operating Systems
  • User Interface

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Software Engineering.