The Community for Technology Leaders
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05) (2005)
Timisoara, Romania
Sept. 25, 2005 to Sept. 29, 2005
ISBN: 0-7695-2453-2
pp: 250-258
Gabriel Ciobanu , Research Institute "e-Austria" Timişoara and Romanian Academy
K. N. Sridhar , National University of Singapore
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.
INDEX TERMS
null
CITATION

K. N. Sridhar and G. Ciobanu, "Specifications and Verification of Network Protocols by Process Algebra," Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)(SYNASC), Timisoara, Romania, 2005, pp. 250-258.
doi:10.1109/SYNASC.2005.68
88 ms
(Ver 3.3 (11022016))