DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Chon, Kil-Nam | - |
dc.contributor.advisor | 전길남 | - |
dc.contributor.author | Jeong, Man-Sang | - |
dc.contributor.author | 정만상 | - |
dc.date.accessioned | 2011-12-13T05:49:03Z | - |
dc.date.available | 2011-12-13T05:49:03Z | - |
dc.date.issued | 1984 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=64130&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33599 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1984.2, [ [ii], 52 p. ] | - |
dc.description.abstract | In 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.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | State transition modeling and syntactic validation of a connection establishment protocol | - |
dc.title.alternative | 접속 형성 프로토콜의 상태 천이 모형화 및 구문법적 검증에 관한 연구 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 64130/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000821284 | - |
dc.contributor.localauthor | Chon, Kil-Nam | - |
dc.contributor.localauthor | 전길남 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.