Formal specification and verification of OSI session layer protocol using CCS

Milica Barjaktarovic, Shiu Kai Chin, Kamal Jabbour

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper describes an application of formal methods to protocol specification, validation and verification. The chosen formal method is the Calculus of Communicating Systems (CCS), which is used to build a CCS model of the Interconnection (OSI) Reference model session layer protocol and prove its inherent livelock using the CCS automated support.

Original languageEnglish (US)
Title of host publicationMidwest Symposium on Circuits and Systems
PublisherIEEE Computer Society
Pages1140-1143
Number of pages4
ISBN (Print)0780317610
StatePublished - Dec 1 1993
EventProceedings of the 36th Midwest Symposium on Circuits and Systems - Detroit, MI, USA
Duration: Aug 16 1993Aug 18 1993

Publication series

NameMidwest Symposium on Circuits and Systems
Volume2

Other

OtherProceedings of the 36th Midwest Symposium on Circuits and Systems
CityDetroit, MI, USA
Period8/16/938/18/93

ASJC Scopus subject areas

  • Electronic, Optical and Magnetic Materials
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Formal specification and verification of OSI session layer protocol using CCS'. Together they form a unique fingerprint.

Cite this