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 条
  • [21] 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
  • [22] Formal verification logic for hybrid security protocols
    Newe, T
    Coffey, T
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2003, 18 (01): : 17 - 25
  • [23] On the formal modeling of inductive verification for cryptographical protocols
    Li, Yongjian
    Song, Xiaoyu
    Li, Xiaojuan
    2012 13TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS, AND TECHNOLOGIES (PDCAT 2012), 2012, : 201 - 206
  • [24] Formal automatic verification of authentication cryptographic protocols
    Debbabi, M
    Mejri, M
    Tawbi, N
    Yahmadi, I
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 50 - 59
  • [25] Formal Verification of e-Auction Protocols
    Dreier, Jannik
    Lafourcade, Pascal
    Lakhnech, Yassine
    PRINCIPLES OF SECURITY AND TRUST, POST 2013, 2013, 7796 : 247 - 266
  • [26] Formal Verification of Security Protocols Using Spin
    Chen, Shengbo
    Fu, Hao
    Miao, Huaikou
    2016 IEEE/ACIS 15TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2016, : 637 - 642
  • [27] Specification and formal verification of interconnect bus protocols
    Ivanov, L
    Nunna, R
    PROCEEDINGS OF THE 43RD IEEE MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I-III, 2000, : 378 - 382
  • [28] Towards formal verification of IoT protocols: A Review
    Hofer-Schmitz, Katharina
    Stojanovic, Branka
    COMPUTER NETWORKS, 2020, 174
  • [29] Automated testing sequences generation from AUML diagrams: A formal verification of agents' interaction protocols
    Department of Computer Science, University of Oum El-Bouaghi, Oum El-Bouaghi, Algeria
    不详
    不详
    Int. J. Agent-Oriented Softw. Eng., 2008, 4 (422-448):
  • [30] Verification of Communication Protocols Based on Formal Methods Integration
    Simonak, Slavomir
    ACTA POLYTECHNICA HUNGARICA, 2012, 9 (04) : 117 - 128
12345