Formal Specification and Verification of a Connection-Establishment Protocol.

Abstract

A specification language named SPEX, tailored to the needs of communications protocols, is proposed, and its relation to a semi-automated verification system, Affirm, is discussed. This language is then used to specify a connection protocol currently being used. Certain errors are uncovered by analysis using the verification system. However, the major portion of the protocol's operation is shown to be correct. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1981
Accession Number
ADA102251

Entities

People

  • Daniel Schwabe

Organizations

  • University of Southern California

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Communications Protocols
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computers
  • Contracts
  • Data Transmission
  • Formal Languages
  • Governments
  • Language
  • Networks
  • Programming Languages
  • Security
  • Specifications
  • Verification

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Software Engineering.