user

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] COMBINING INTERACTION AND AUTOMATION IN PROCESS ALGEBRA VERIFICATION
    CAMILLERI, A
    INVERARDI, P
    NESI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 283 - 296
  • [22] A new variational association process for the verification of geometrical specifications
    Choley, Jean-Yves
    Riviere, Alain
    Clement, Andre
    Bourdet, Pierre
    [J]. JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2007, 7 (01) : 66 - 71
  • [23] A new partitioning process for geometrical product specifications and verification
    Cai, Na
    Anwer, Nabil
    Scott, Paul J.
    Qiao, Lihong
    Jiang, Xiangqian
    [J]. 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
    [J]. 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
    [J]. INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS, 2006, 13 (03) : 221 - 228
  • [26] On the algebra of structured specifications
    Diaconescu, Razvan
    Tutu, Ionut
    [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3145 - 3174
  • [27] Verification of ArchiMate process specifications based on deductive temporal reasoning
    Klimek, Radoslaw
    Szwed, Piotr
    [J]. 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
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (01) : 7 - 38
  • [29] VERIFICATION OF AN ALTERNATING BIT PROTOCOL BY MEANS OF PROCESS ALGEBRA
    BERGSTRA, JA
    KLOP, JW
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 215 : 9 - 23
  • [30] Semantic constraint specification and verification of ebXML business process specifications
    Kim, JW
    Do Kim, H
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2004, 27 (04) : 571 - 584
12345