Formal Description and Verification of a Transport Protocol for Local Networks

被引：4
|
作者：
李腊元 [1 ]
机构：
[1] Wuhan University of Water Transportation Engtineering
来源：
Journal of Computer Science and Technology | 1990年 / 01期
关键词：
Formal Description and Verification of a Transport Protocol for Local Networks; SSM; LLC; CR; DRI;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper discusses a transport protocol and its formal description techniques for local network .The trans-port layer function, the transport services and a transport protocol design in a local network architecture modelare presented. A transport protocol specification using the finite state automata (FSA) is given. Thecorrectness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness ,deadlock and livelock freeness, termination and reachability.
引用
收藏
页码：64 / 70
页数：7
相关论文
共 50 条
  • [21] FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION
    SUNSHINE, C
    COMPUTER, 1979, 12 (09) : 20 - 27
  • [22] DESIGN AND VALIDATION OF A TRANSPORT PROTOCOL FOR LOCAL AREA NETWORKS
    TEO, EH
    GEORGANAS, ND
    COMPUTER COMMUNICATIONS, 1986, 9 (03) : 115 - 120
  • [23] FORMAL DESCRIPTION OF PROTOCOL STANDARDS AND THEIR REALIZATION
    ZAITSEV, SS
    AUTOMATION AND REMOTE CONTROL, 1988, 49 (05) : 663 - 669
  • [24] VHDL DESCRIPTION AND FORMAL VERIFICATION OF SYSTOLIC MULTIPLIERS
    PIERRE, L
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 225 - 242
  • [25] ON FORMAL DESCRIPTION OF AUTOMATA NETWORKS
    HIRSCH, HJ
    ELECTRONISCHE DATENVERARBEITUNG, 1969, 11 (06): : 251 - &
  • [26] Formal description and verification of MAS interaction protocols
    Chen, Hongbing
    Yang, Qun
    Li, Qianmu
    Xu, Manwu
    MULTIAGENT AND GRID SYSTEMS, 2006, 2 (04) : 353 - 363
  • [27] VERIFICATION METHOD FOR FORMAL REQUIREMENTS DESCRIPTION.
    Agusa, Kiyoshi
    Ohnishi, Atsushi
    Ohno, Yutaka
    Journal of Information Processing, 1984, 7 (04) : 223 - 229
  • [28] A DESCRIPTION OF A FORMAL VERIFICATION AND VALIDATION (FVV) PROCESS
    SMITH, B
    REESE, C
    LINDSAY, KS
    CRANE, B
    COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 71 - 78
  • [29] Formal Verification for KMB09 Protocol
    Guiping Dai
    International Journal of Theoretical Physics, 2019, 58 : 3651 - 3657
  • [30] Formal Verification Technology for Asynchronous Communication Protocol
    Hu, Yayun
    Li, Dongfang
    2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 482 - 486
12345