Formal verification and testing of protocols

被引：5
|
作者：
Avresky, DR [1 ]
机构：
[1] Boston Univ, Dept Elect Engn, Brookline, MA 02146 USA
来源：
COMPUTER COMMUNICATIONS | 1999年 / 22卷 / 07期
关键词：
protocols; reachability analysis; execution tree; formal verification;
D O I：
10.1016/S0140-3664(99)00011-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We adopt a formalism to describe protocols that is close to the human way of thinking and can be easily used to perform reachability analysis of the described protocol in a state-transition format. This formalism allows for an execution tree (ET) to be generated from a set of assertions such that all paths from the root to the leaves are well-defined formulas. We then extend the formalism with regards to real-time properties. Finally, we present a software verification tool, that implements the aforementioned features in the analysis of protocols. (C) 1999 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：681 / 690
页数：10
相关论文
共 50 条
  • [1] Towards formal verification of IoT protocols: A Review
    Hofer-Schmitz, Katharina
    Stojanovic, Branka
    COMPUTER NETWORKS, 2020, 174
  • [2] Formal Verification of Consensus Protocols: Survey and Perspective
    Ge N.
    He Y.-K.
    Zhai S.-M.
    Li X.-Z.
    Zhang L.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (11): : 4989 - 5007
  • [3] Formal Verification of e-Reputation Protocols
    Kassem, Ali
    Lafourcade, Pascal
    Lakhnech, Yassine
    FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2014), 2015, 8930 : 247 - 261
  • [4] An Evaluative Review of the Formal Verification for VANET Protocols
    Fakhfakh, Faten
    Tounsi, Mohamed
    Mosbah, Mohamed
    2019 15TH INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE (IWCMC), 2019, : 1209 - 1214
  • [5] Security in Wireless Sensor Networks: A formal verification of protocols
    Nandi, Giann Spilere
    Pereira, David
    Vigil, Martin
    Moraes, Ricardo
    Morales, Analucia Schiaffino
    Araujo, Gustavo
    2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 425 - 431
  • [6] A Framework for Formal Verification of Security Protocols in C plus
    Pradeep, R.
    Sunitha, N. R.
    Ravi, V
    Verma, Sushma
    INVENTIVE COMMUNICATION AND COMPUTATIONAL TECHNOLOGIES, ICICCT 2019, 2020, 89 : 163 - 175
  • [7] Formal verification: an imperative step in the design of security protocols
    Coffey, T
    Dojen, R
    Flanagan, T
    COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2003, 43 (05): : 601 - 618
  • [8] Formal verification of standards for distance vector routing protocols
    Bhargavan, K
    Obradovic, D
    Gunter, CA
    JOURNAL OF THE ACM, 2002, 49 (04) : 538 - 576
  • [9] Modeling and Formal Verification of Communication Protocols for Remote Procedure Call
    Halder, Nilimesh
    Islam, A. B. M. Tariqul
    Bin Song, Ju
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (07): : 63 - 71
  • [10] FSM-Based Formal Compliance Verification of Interface Protocols
    Shih, Che-Hua
    Yang, Ya-Ching
    Yen, Chia-Chih
    Huang, Juinn-Dar
    Jou, Jing-Yang
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2010, 26 (05) : 1601 - 1617
12345