Accession Number:

ADA256726

Title:

A Tool for Automated Validation of Network Protocols

Descriptive Note:

Master's thesis May 1989-Aug 1992

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1992-09-24

Pagination or Media Count:

252.0

Abstract:

This thesis introduces a program that analyzes network protocols using the Communicating Finite State Machines CFSM model and the System of Communicating Machines SCM model. A simple two machine implementation of CFSM model is initially explored. A number of simple protocols are demonstrated as a means to validate the automated tool program. The second model implemented is that of SCM model. The SCM tool uses many of the same data structures designed in the CFSM program. The SCM program is validated with an analysis of widely used data link protocols. Both programs were done in the Ada language environment. Communicating Finite State Machines, System of Communicating Machines, Data Link Protocols, ADA, Go-Back-N, Selective Repeat.

Subject Categories:

  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE