Current studentsExisting staffContact us
 

Formal specification of the TCP service and verification of TCP connection management

Simple item page
dc.contributor.authorHan, Bing
dc.contributor.schoolSchool of Electrical and Information Engineering
dc.date.issued2004
dc.descriptioneng
dc.description.abstractUsing the approach of Coloured Petri nets (CPNs) and automata theory, this thesis shows how to formalise the service provided by the Transmission Control Protocol (TCP) and verify TCP Connection Management, an essential part of TCP. Most of the previous work on modelling and analysing TCP Connection Management is based on early versions of TCP, which are different from the current TCP specification. Also the scope is mainly confined to the connection establishment procedure, while the release procedure is either simplified or omitted from investigation. This thesis extends prior work by verifying a detailed model of TCP Connection Management. In defining the TCP service, the set of service primitives and their sequencing constraints are specified at each service access point.
dc.description.dissertationThesis (PhDComputerSystemsEng)--University of South Australia, 2004.
dc.identifier.urihttps://hdl.handle.net/1959.8/24965
dc.language.isoen
dc.provenanceCopyright 2004 Bing Han
dc.subject.lcshData transmission systems
dc.subject.lcshTCP/IP (Computer network protocol)
dc.titleFormal specification of the TCP service and verification of TCP connection management
dc.typethesis
dcterms.accessRights506 0#$fstar $2Unrestricted online access
ror.fileinfo12146635820001831 13146631360001831 9915955711601831_53111931150001831.pdf
ror.mmsid9915955711601831

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
9915955711601831_53111931150001831.pdf
Size:
3.1 MB
Format:
Adobe Portable Document Format
Description:
Published version
Download

Collections