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 条
  • [1] A Transport Protocol and Its Formal Description for Local Networks
    Li Layuan Wuhan Transportation University
    Journal of Systems Engineering and Electronics, 1998, (01) : 48 - 55
  • [2] A transport protocol and its formal description for local networks
    Li, LY
    Li, CL
    Xue, SJ
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1616 - 1619
  • [3] A Formal Description and Verification of Authentication Protocol
    Yuan, Zhanting
    Kang, Xu
    Zhang, Qiuyu
    Liang, Shuang
    DCABES 2008 PROCEEDINGS, VOLS I AND II, 2008, : 735 - 740
  • [4] Formal description and verification of vehicle-to-ground communication protocol for guided transport control system
    Zhao, Haibo
    Cao, Yuan
    Wen, Jiakun
    PROCEEDINGS OF THE 15TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA 2020), 2020, : 1401 - 1406
  • [5] Formal Verification of a MAC Protocol for Underwater Sensor Networks
    Kumar, N. Suresh
    Kumar, G. Santhosh
    Sivan, Shailesh
    Sreekumar, A.
    IEEE ACCESS, 2023, 11 : 111846 - 111859
  • [6] A secure handover protocol design in wireless networks with formal verification
    Lim, Sun-Hee
    Bang, Ki-Seok
    Yi, Okyeon
    Lim, Jongin
    WIRED/WIRELESS INTERNET COMMUNICATIONS, PROCEEDINGS, 2007, 4517 : 67 - +
  • [7] Formal Verification of the Coordinated Robust Authenticaion Protocol for Wireless Networks
    Ramezani, Khosrow
    Sithirasenan, Elankayer
    Muthukkumarasamy, Vallipuram
    2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013), 2013, : 1735 - 1740
  • [8] Formal Verification and Improvement of a Secure Protocol for Ad Hoc Networks
    Shi Shu-dong
    2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 2660 - 2662
  • [9] Formal Security Verification of Transport Protocols for Wireless Sensor Networks
    Vinh-Thong Ta
    Dvir, Amit
    Buttyan, Levente
    ADVANCED COMPUTATIONAL METHODS FOR KNOWLEDGE ENGINEERING, 2014, 282 : 389 - 403
  • [10] Formal Verification of the Sumcheck Protocol
    Bosshard, Azucena Garvia
    Bootle, Jonathan
    Sprenger, Christoph
    2024 IEEE 37TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF 2024, 2024, : 605 - 619
12345