Protocol specification & verification methods: An overview

Michael G. Hinchey; Stephen A. Jarvis

doi:10.1109/SICON.1993.515654

Protocol specification & verification methods: An overview

Michael G. Hinchey
, Stephen A. Jarvis

Engineering and Physical Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The need for appropriate methods for the specification and verification of data communication protocols is highlighted. Difficulties with commonly-used methods are discussed briefly, and an approach based on a combination of CSP and Timed CSP is advocated.

Original language	English
Title of host publication	Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering
Subtitle of host publication	Communications and Networks for the Year 2000, SICON 1993
Editors	E.S. Seumahu, G.S. Poo
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	581-585
Number of pages	5
ISBN (Electronic)	078031445X, 9780780314450
DOIs	https://doi.org/10.1109/SICON.1993.515654
Publication status	Published - 1993
Event	1993 IEEE Singapore International Conference on Networks/International Conference on Information Engineering, SICON 1993 - Singapore, Singapore Duration: 6 Sept 1993 → 11 Sept 1993

Publication series

Name	Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993
Volume	2

Conference

Conference	1993 IEEE Singapore International Conference on Networks/International Conference on Information Engineering, SICON 1993
Country/Territory	Singapore
City	Singapore
Period	6/09/93 → 11/09/93

Bibliographical note

Publisher Copyright:
© 1993 IEEE.

Keywords

Communicating Sequential Processes
Data communication protocols
Protocol specification
Protocol verification
Timed CSP

ASJC Scopus subject areas

Computer Networks and Communications
Hardware and Architecture
Signal Processing
Information Systems
Information Systems and Management
Media Technology

Access to Document

10.1109/SICON.1993.515654

Cite this

Hinchey, M. G., & Jarvis, S. A. (1993). Protocol specification & verification methods: An overview. In E. S. Seumahu, & G. S. Poo (Eds.), Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993 (pp. 581-585). Article 515654 (Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993; Vol. 2). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/SICON.1993.515654

Hinchey, Michael G. ; Jarvis, Stephen A. / Protocol specification & verification methods : An overview. Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993. editor / E.S. Seumahu ; G.S. Poo. Institute of Electrical and Electronics Engineers (IEEE), 1993. pp. 581-585 (Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993).

@inproceedings{b614c26210da4ed1830d1ee6ef3e878d,

title = "Protocol specification \& verification methods: An overview",

abstract = "The need for appropriate methods for the specification and verification of data communication protocols is highlighted. Difficulties with commonly-used methods are discussed briefly, and an approach based on a combination of CSP and Timed CSP is advocated.",

keywords = "Communicating Sequential Processes, Data communication protocols, Protocol specification, Protocol verification, Timed CSP",

author = "Hinchey, \{Michael G.\} and Jarvis, \{Stephen A.\}",

note = "Publisher Copyright: {\textcopyright} 1993 IEEE.; 1993 IEEE Singapore International Conference on Networks/International Conference on Information Engineering, SICON 1993 ; Conference date: 06-09-1993 Through 11-09-1993",

year = "1993",

doi = "10.1109/SICON.1993.515654",

language = "English",

series = "Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

pages = "581--585",

editor = "E.S. Seumahu and G.S. Poo",

booktitle = "Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering",

}

Hinchey, MG & Jarvis, SA 1993, Protocol specification & verification methods: An overview. in ES Seumahu & GS Poo (eds), Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993., 515654, Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993, vol. 2, Institute of Electrical and Electronics Engineers (IEEE), pp. 581-585, 1993 IEEE Singapore International Conference on Networks/International Conference on Information Engineering, SICON 1993, Singapore, Singapore, 6/09/93. https://doi.org/10.1109/SICON.1993.515654

Protocol specification & verification methods: An overview. / Hinchey, Michael G.; Jarvis, Stephen A.
Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993. ed. / E.S. Seumahu; G.S. Poo. Institute of Electrical and Electronics Engineers (IEEE), 1993. p. 581-585 515654 (Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Protocol specification & verification methods

T2 - 1993 IEEE Singapore International Conference on Networks/International Conference on Information Engineering, SICON 1993

AU - Hinchey, Michael G.

AU - Jarvis, Stephen A.

PY - 1993

Y1 - 1993

N2 - The need for appropriate methods for the specification and verification of data communication protocols is highlighted. Difficulties with commonly-used methods are discussed briefly, and an approach based on a combination of CSP and Timed CSP is advocated.

AB - The need for appropriate methods for the specification and verification of data communication protocols is highlighted. Difficulties with commonly-used methods are discussed briefly, and an approach based on a combination of CSP and Timed CSP is advocated.

KW - Communicating Sequential Processes

KW - Data communication protocols

KW - Protocol specification

KW - Protocol verification

KW - Timed CSP

UR - https://www.scopus.com/pages/publications/85065593786

U2 - 10.1109/SICON.1993.515654

DO - 10.1109/SICON.1993.515654

M3 - Conference contribution

AN - SCOPUS:85065593786

T3 - Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993

SP - 581

EP - 585

BT - Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering

A2 - Seumahu, E.S.

A2 - Poo, G.S.

PB - Institute of Electrical and Electronics Engineers (IEEE)

Y2 - 6 September 1993 through 11 September 1993

ER -

Hinchey MG, Jarvis SA. Protocol specification & verification methods: An overview. In Seumahu ES, Poo GS, editors, Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993. Institute of Electrical and Electronics Engineers (IEEE). 1993. p. 581-585. 515654. (Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993). doi: 10.1109/SICON.1993.515654

Protocol specification & verification methods: An overview

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this