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 条
  • [31] Formal Verification on Distributed Spectrum Sensing Protocol
    Liu, Jin-bo
    Liao, Ming-xue
    Hu, Xiao-hui
    He, Xiao-xin
    2011 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), VOLS 1-4, 2012, : 190 - 194
  • [32] Formal Modeling and Verification of Rumor Routing Protocol
    Yasin, Daniyal
    Saghar, Kashif
    Younis, Shahzad
    2016 13TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2016, : 318 - 323
  • [33] A TERMINATION DETECTION PROTOCOL AND ITS FORMAL VERIFICATION
    ERIKSEN, O
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1988, 5 (01) : 82 - 91
  • [34] Enhanced Mobile SET Protocol with Formal Verification
    Ahamad, Shaik Shakeel
    Sastry, V. N.
    Udgata, Siba K.
    2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION TECHNOLOGY (ICCCT), 2012, : 288 - 293
  • [35] Formal Verification for KMB09 Protocol
    Dai, Guiping
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2019, 58 (11) : 3651 - 3657
  • [36] Formal Verification of a Grid Resource Allocation Protocol
    Dalheimer, Mathias
    Pfreundt, Franz-Josef
    Merz, Peter
    CCGRID 2008: EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, VOLS 1 AND 2, PROCEEDINGS, 2008, : 332 - +
  • [37] Formal Verification of a Distributed Dynamic Reconfiguration Protocol
    Schultz, William
    Dardik, Ian
    Tripakis, Stavros
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 143 - 152
  • [38] Formal verification of abstract system and protocol specifications
    Schneider, Axel
    Bluhm, Thomas
    Renner, Tobias
    Heinkel, Ulrich
    Knaeblein, Joachim
    Zavala, Reynaldo
    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2006, : 207 - +
  • [39] FORMAL VERIFICATION OF THE SECURE SOCKETS LAYER PROTOCOL
    Tobarra, Llanos
    Cazorla, Diego
    Pardo, J. Jose
    Cuartero, Fernando
    ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2, 2008, : 246 - 252
  • [40] Formal Verification of a Secure Mobile Banking Protocol
    Huy Hoang Ngo
    Dandash, Osama
    Phu Dung Le
    Srinivasan, Bala
    Wilson, Campbell
    ADVANCES IN NETWORKS AND COMMUNICATIONS, PT II, 2011, 132 : 410 - 421
12345