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] Formalization and Verification of PaxosStore from Process Algebra Perspective
Xie, Wanling
Yuan, Yang
Zhu, Chenyang
ELECTRONICS, 2025, 14 (05):
[32] Formal verification of a leader election protocol in process algebra
Fredlund, LA
Groote, JF
Korver, H
THEORETICAL COMPUTER SCIENCE, 1997, 177 (02) : 459 - 486
[33] Automatic verification of distributed systems: The process algebra approach
Universita di L'Aquila, L'Aquila, Italy
Formal Methods Syst Des, 1 (7-38):
[34] Security protocols and specifications
Abadi, M
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 1 - 13
[35] A method for generating software architecture models from process algebra specifications
Zhu, Yi
Huang, Zhiqiu
Zhou, Hang
Liu, Linyuan
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (02): : 241 - 250
[36] Towards automatic verification of authentication protocols on an unbounded network
Heather, J
Schneider, S
13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 132 - 143
[37] Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols
Jero, Samuel
Pacheco, Maria Leonor
Goldwasser, Dan
Nita-Rotaru, Cristina
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
[38] Type checking for software system specifications in real-time process algebra
Liu, CW
Tan, XM
DCABES 2004, PROCEEDINGS, VOLS, 1 AND 2, 2004, : 1077 - 1083
[39] MECHANIZING A PROOF BY INDUCTION OF PROCESS ALGEBRA SPECIFICATIONS IN HIGHER-ORDER LOGIC
NESI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 288 - 298
[40] Verification of an active control system using temporal process algebra
Elseaidy, WM
Baugh, JW
Cleaveland, R
ENGINEERING WITH COMPUTERS, 1996, 12 (01) : 46 - 61

← 1 2 3 4 5 →