Formal Description Techniques for Network Protocols, Draft Report

摘要

The National Bureau of Standards, Institute of Computer Sciences and Technology (ICST), has initiated a program to develop computer network protocol standards as Federal Information Processing Standards (FIPS). This is one of a series of draft reports prepared under the network protocol standards program for distribution to government agencies, voluntary standards organizations, computer and communications equipment manufacturers, and other interested parties. The draft report contains two formal description techniques, a general survey, and a set of criteria for evaluation of these techniques.