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 条
  • [31] Specification and formal verification of interconnect bus protocols
    Ivanov, L
    Nunna, R
    [J]. PROCEEDINGS OF THE 43RD IEEE MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I-III, 2000, : 378 - 382
  • [32] Towards formal verification of IoT protocols: A Review
    Hofer-Schmitz, Katharina
    Stojanovic, Branka
    [J]. COMPUTER NETWORKS, 2020, 174
  • [33] Automated Verification of Accountability in Security Protocols
    Kuennemann, Robert
    Esiyok, Ilkan
    Backes, Michael
    [J]. 2019 IEEE 32ND COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2019), 2019, : 397 - 413
  • [34] Automated inductive verification of parameterized protocols
    Roychoudhury, A
    Ramakrishnan, IV
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 25 - 37
  • [35] Challenges in the automated verification of security protocols
    Comon-Lundh, Hubert
    [J]. AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 396 - 409
  • [36] Automated formal verification for VHDL designs
    Lin, FY
    Li, HC
    [J]. COMPUTERS AND THEIR APPLICATIONS - PROCEEDINGS OF THE ISCA 11TH INTERNATIONAL CONFERENCE, 1996, : 174 - 177
  • [37] RVF - AN AUTOMATED FORMAL VERIFICATION SYSTEM
    WANG, TC
    GOLDBERG, A
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 735 - 739
  • [38] Automated verification tools for cryptographic protocols
    Hassan, Adel
    Ishaq, Isam
    Minilla, Jorge
    [J]. 2021 INTERNATIONAL CONFERENCE ON PROMISING ELECTRONIC TECHNOLOGIES (ICPET 2021), 2021, : 58 - 65
  • [39] Automated formal analysis and verification: an overview
    Krena, Bohuslav
    Vojnar, Tomas
    [J]. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, 42 (04) : 335 - 365
  • [40] Formal verification of protocols based on short authenticated strings
    Delaune, Stephanie
    Kremer, Steve
    Robin, Ludovic
    [J]. 2017 IEEE 30TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2017, : 130 - 143
12345