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 条
  • [1] Mechanizing a Process Algebra for Network Protocols
    Timothy Bourke
    Robert J. van Glabbeek
    Peter Höfner
    [J]. Journal of Automated Reasoning, 2016, 56 : 309 - 341
  • [2] Mechanizing a Process Algebra for Network Protocols
    Bourke, Timothy
    van Glabbeek, Robert J.
    Hoefner, Peter
    [J]. JOURNAL OF AUTOMATED REASONING, 2016, 56 (03) : 309 - 341
  • [3] Formal verification of TCG remote attestation protocols based on process algebra
    Wang, Yong
    Fang, Juan
    Ren, Xingtian
    Lin, Li
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2013, 50 (02): : 325 - 331
  • [4] Debugging Process Algebra Specifications
    Salauen, Gwen
    Ye, Lina
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 245 - 262
  • [5] Equivalence of recursive specifications in process algebra
    Ponse, A
    Usenko, YS
    [J]. INFORMATION PROCESSING LETTERS, 2001, 80 (01) : 59 - 65
  • [6] CONSTRUCTING SUBMODULE SPECIFICATIONS AND NETWORK PROTOCOLS
    SIDHU, DP
    ARISTIZABAL, J
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (11) : 1565 - 1577
  • [7] A TOOL FOR THE AUTOMATED VERIFICATION OF ECCS SPECIFICATIONS OF OSI PROTOCOLS
    CARCHIOLO, V
    FARO, A
    [J]. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 103 : 57 - 68
  • [8] Verification Techniques for a Network Algebra
    Brodo, Linda
    Olarte, Carlos
    [J]. FUNDAMENTA INFORMATICAE, 2020, 172 (01) : 1 - 38
  • [9] MODULAR SPECIFICATIONS IN PROCESS ALGEBRA WITH CURIOUS QUEUES
    VANGLABBEEK, R
    VAANDRAGER, F
    [J]. ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 465 - 506
  • [10] State space reduction for process algebra specifications
    Garavel, H
    Serwe, W
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 351 (02) : 131 - 145
12345