State transition modeling and syntactic validation of a connection establishment protocol접속 형성 프로토콜의 상태 천이 모형화 및 구문법적 검증에 관한 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 420
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorChon, Kil-Nam-
dc.contributor.advisor전길남-
dc.contributor.authorJeong, Man-Sang-
dc.contributor.author정만상-
dc.date.accessioned2011-12-13T05:49:03Z-
dc.date.available2011-12-13T05:49:03Z-
dc.date.issued1984-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=64130&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/33599-
dc.description학위논문(석사) - 한국과학기술원 : 전산학과, 1984.2, [ [ii], 52 p. ]-
dc.description.abstractIn this thesis, the state transition model of protocol and validation of its syntactic properties such as deadlock-freeness, well-formedness, and channel boundedness are discussed with the reachability analysis of the Petri-net. The tool for the automatic validation of any given two-process protocol model with non-FIFO channels and reception maskable states is also developed. By using this tool implemented in C language, the connection establishment protocol in Transmission Control Protocol(TCP) is validated. The result is that state deadlocks and channel overflows are not found but unspecified receptions which are recoverable semantically are found. Finally, the validation considering reception maskable states is shown to be more efficient than the validation not considering these states.eng
dc.languageeng-
dc.publisher한국과학기술원-
dc.titleState transition modeling and syntactic validation of a connection establishment protocol-
dc.title.alternative접속 형성 프로토콜의 상태 천이 모형화 및 구문법적 검증에 관한 연구-
dc.typeThesis(Master)-
dc.identifier.CNRN64130/325007-
dc.description.department한국과학기술원 : 전산학과, -
dc.identifier.uid000821284-
dc.contributor.localauthorChon, Kil-Nam-
dc.contributor.localauthor전길남-
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0