Automated formal verification of protocols

被引：0
|
作者：
Avresky, DR
Vassilaras, S
机构：
来源：
SIXTH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ICCCN.1997.623308
中图分类号：
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 can 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, Verify, that implements the above features in the analysis of protocols.
引用
收藏
页码：166 / 169
页数：4
相关论文
共 50 条
  • [1] Towards ASM-Based Automated Formal Verification of Security Protocols
    Braghin, Chiara
    Lilli, Mario
    Riccobene, Elvinia
    [J]. RIGOROUS STATE-BASED METHODS, ABZ 2021, 2021, 12709 : 17 - 33
  • [2] Formal verification and testing of protocols
    Avresky, DR
    [J]. COMPUTER COMMUNICATIONS, 1999, 22 (07) : 681 - 690
  • [3] Formal verification of mobile robot protocols
    Béatrice Bérard
    Pascal Lafourcade
    Laure Millet
    Maria Potop-Butucaru
    Yann Thierry-Mieg
    Sébastien Tixeuil
    [J]. Distributed Computing, 2016, 29 : 459 - 487
  • [4] Formal verification of dependable distributed protocols
    Sinha, P
    Ren, DQ
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (12) : 873 - 888
  • [5] An Approach for Formal Verification of Authentication Protocols
    A. M. Mironov
    [J]. Lobachevskii Journal of Mathematics, 2022, 43 : 443 - 454
  • [6] Formal automatic verification of security protocols
    Xiao, Meihua
    Xue, Jinyun
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 566 - +
  • [7] Formal verification of mobile robot protocols
    Berard, Beatrice
    Lafourcade, Pascal
    Millet, Laure
    Potop-Butucaru, Maria
    Thierry-Mieg, Yann
    Tixeuil, Sebastien
    [J]. DISTRIBUTED COMPUTING, 2016, 29 (06) : 459 - 487
  • [8] A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks
    Chen, Zhe
    Zhang, Daqiang
    Zhu, Rongbo
    Ma, Yinxue
    Yin, Ping
    Xie, Feng
    [J]. SENSOR LETTERS, 2013, 11 (05) : 752 - 764
  • [9] An Approach for Formal Verification of Authentication Protocols
    Mironov, A. M.
    [J]. LOBACHEVSKII JOURNAL OF MATHEMATICS, 2022, 43 (02) : 443 - 454
  • [10] Formal Verification of Secure Forwarding Protocols
    Klenze, Tobias
    Sprenger, Christoph
    Basin, David
    [J]. 2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021), 2021, : 313 - 328
12345