Accession Number:

ADA083263

Title:

Formal Methods for Communication Protocol Specification and Verification

Descriptive Note:

Final rept.

Corporate Author:

RAND CORP SANTA MONICA CA

Personal Author(s):

Report Date:

1979-11-01

Pagination or Media Count:

107.0

Abstract:

Increasingly numerous and complex communication protocols are being employed in distributed systems and computer networks of all types. This Note describes some of the more formal techniques that are being developed to facilitate design of correct protocols. Our major conclusion is that it is vital to specify the services provided by a protocol layer in addition to specifying the cooperating protocol entities which make up the layer. We develop service specifications of several representative protocols by using formal techniques from software engineering such as abstract machines and buffer histories. A survey of protocol verification methods and a bibliography indexed by key phrases are also provided.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Non-Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE