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 条
  • [41] Verification of Communication Protocols Based on Formal Methods Integration
    Simonak, Slavomir
    [J]. ACTA POLYTECHNICA HUNGARICA, 2012, 9 (04) : 117 - 128
  • [42] Security in Wireless Sensor Networks: A formal verification of protocols
    Nandi, Giann Spilere
    Pereira, David
    Vigil, Martin
    Moraes, Ricardo
    Morales, Analucia Schiaffino
    Araujo, Gustavo
    [J]. 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 425 - 431
  • [43] ANALYZING ENCRYPTION PROTOCOLS USING FORMAL VERIFICATION TECHNIQUES
    KEMMERER, RA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 293 : 289 - 305
  • [44] FORMAL TECHNIQUES FOR THE SPECIFICATION, VERIFICATION AND CONSTRUCTION OF COMMUNICATION PROTOCOLS
    CHOI, TY
    [J]. IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (10) : 46 - 52
  • [45] A Framework for Formal Verification of Security Protocols in C plus
    Pradeep, R.
    Sunitha, N. R.
    Ravi, V
    Verma, Sushma
    [J]. INVENTIVE COMMUNICATION AND COMPUTATIONAL TECHNOLOGIES, ICICCT 2019, 2020, 89 : 163 - 175
  • [46] Formal verification: an imperative step in the design of security protocols
    Coffey, T
    Dojen, R
    Flanagan, T
    [J]. COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2003, 43 (05): : 601 - 618
  • [47] A Formal Specification and Verification Framework for Timed Security Protocols
    Li, Li
    Sun, Jun
    Liu, Yang
    Sun, Meng
    Dong, Jin-Song
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (08) : 725 - 746
  • [48] An improved method for formal security verification of cryptographic protocols
    Watanabe, H
    Fujiwara, T
    Kasami, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (07) : 1089 - 1096
  • [49] Petri-nets for formal verification of MAC protocols
    Haines, R. J.
    Clemo, G. R.
    Munro, A. T. D.
    [J]. IET SOFTWARE, 2007, 1 (02) : 39 - 47
  • [50] Formal verification of type flaw attacks in security protocols
    Long, BW
    [J]. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 415 - 424
12345