DocumentCode
3281776
Title
Specifications and verification of network protocols by process algebra
Author
Ciobanu, Gabriel ; Sridhar, K.N.
Author_Institution
Res. Inst. "c-Austria" Timioara, Romania
fYear
2005
fDate
25-29 Sept. 2005
Abstract
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.
Keywords
formal specification; formal verification; process algebra; protocols; network protocol specification; network protocol verification; pi-calculus rules; process algebra; protocol behavior; verification tools; Algebra; Computer networks; Computer science; Error correction; Formal specifications; Formal verification; Safety; System recovery; Testing; Transport protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Symbolic and Numeric Algorithms for Scientific Computing, 2005. SYNASC 2005. Seventh International Symposium on
Print_ISBN
0-7695-2453-2
Type
conf
DOI
10.1109/SYNASC.2005.68
Filename
1595858
Link To Document