A tool for automated validation of network protocols.
Loading...
Authors
Rothlisberger, Matthew James
Subjects
Communicating Finite State Machines
System of Communicating Machines
Data Link Protocols
ADA
Go_Back_N
Selective Repeat
System of Communicating Machines
Data Link Protocols
ADA
Go_Back_N
Selective Repeat
Advisors
Lundy, G.M.
Date of Issue
1992-08
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
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 the 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.
Type
Thesis
Description
Series/Report No
Department
Computer Science
Organization
Naval Postgraduate School
Identifiers
NPS Report Number
Sponsors
Funder
Format
243 p.;28 cm.
Citation
Distribution Statement
Approved for public release; distribution is unlimited.