Specifications and verification of network protocols by process algebra

被引：0
|
作者：
Ciobanu, G [1 ]
Sridhar, KN [1 ]
机构：
[1] Res Inst E Austria, Timisoara, Romania
来源：
SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper describes the specification and verification techniques for network protocols, concentrating on one hand on process algebras, and on the other hand on techniques for specific layers. The original contribution is given by new pi-calculus rules representing a set of specific patterns for expressing protocol behavior The paper provides a review of the verification tools, and proposes a few extensions.
引用
收藏
页码：250 / 258
页数：9
相关论文
共 50 条
  • [31] Formal verification of a leader election protocol in process algebra
    Fredlund, LA
    Groote, JF
    Korver, H
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 177 (02) : 459 - 486
  • [32] Automatic verification of distributed systems: The process algebra approach
    Universita di L'Aquila, L'Aquila, Italy
    [J]. Formal Methods Syst Des, 1 (7-38):
  • [33] Security protocols and specifications
    Abadi, M
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 1 - 13
  • [34] A method for generating software architecture models from process algebra specifications
    Zhu, Yi
    Huang, Zhiqiu
    Zhou, Hang
    Liu, Linyuan
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (02): : 241 - 250
  • [35] Towards automatic verification of authentication protocols on an unbounded network
    Heather, J
    Schneider, S
    [J]. 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 132 - 143
  • [36] Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols
    Jero, Samuel
    Pacheco, Maria Leonor
    Goldwasser, Dan
    Nita-Rotaru, Cristina
    [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 9478 - 9483
  • [37] Type checking for software system specifications in real-time process algebra
    Liu, CW
    Tan, XM
    [J]. DCABES 2004, PROCEEDINGS, VOLS, 1 AND 2, 2004, : 1077 - 1083
  • [38] MECHANIZING A PROOF BY INDUCTION OF PROCESS ALGEBRA SPECIFICATIONS IN HIGHER-ORDER LOGIC
    NESI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 288 - 298
  • [39] Verification of an active control system using temporal process algebra
    Elseaidy, WM
    Baugh, JW
    Cleaveland, R
    [J]. ENGINEERING WITH COMPUTERS, 1996, 12 (01) : 46 - 61
  • [40] Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
    Luo, Rubai
    Gao, Shasha
    Li, Huailin
    Zhou, Shisheng
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2018, 2018
12345