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 条
  • [21] A process algebra based verification of a production system
    Kleijn, JJT
    Rooda, JE
    Reniers, MA
    SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 90 - 99
  • [22] COMBINING INTERACTION AND AUTOMATION IN PROCESS ALGEBRA VERIFICATION
    CAMILLERI, A
    INVERARDI, P
    NESI, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 283 - 296
  • [23] A new partitioning process for geometrical product specifications and verification
    Cai, Na
    Anwer, Nabil
    Scott, Paul J.
    Qiao, Lihong
    Jiang, Xiangqian
    PRECISION ENGINEERING-JOURNAL OF THE INTERNATIONAL SOCIETIES FOR PRECISION ENGINEERING AND NANOTECHNOLOGY, 2020, 62 : 282 - 295
  • [24] Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
    Mokhati, Farid
    Boudiaf, Noura
    Badri, Mourad
    Badri, Linda
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (04): : 77 - 102
  • [25] Verification of Secure Network Protocols in Uncertain Environments
    Damiani, Sarah
    Griffin, Christopher
    Phoha, Shashi
    Racunas, Stephan
    Rogan, Christopher
    INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS, 2006, 13 (03) : 221 - 228
  • [26] On the algebra of structured specifications
    Diaconescu, Razvan
    Tutu, Ionut
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3145 - 3174
  • [27] Verification of ArchiMate process specifications based on deductive temporal reasoning
    Klimek, Radoslaw
    Szwed, Piotr
    2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1109 - 1116
  • [28] Automatic verification of distributed systems: The process algebra approach
    Inverardi, P
    Priami, C
    FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (01) : 7 - 38
  • [29] Semantic constraint specification and verification of ebXML business process specifications
    Kim, JW
    Do Kim, H
    EXPERT SYSTEMS WITH APPLICATIONS, 2004, 27 (04) : 571 - 584
  • [30] VERIFICATION OF AN ALTERNATING BIT PROTOCOL BY MEANS OF PROCESS ALGEBRA
    BERGSTRA, JA
    KLOP, JW
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 215 : 9 - 23
12345