Verifications of Network Protocol Implementations-A Review

Saleema, Bejoy Abraham
Protocols used with different OSI layers plays an important role in quality data communication. Ambiguities in protocol specification leads to different interpretations by developers. These ambiguities should be minimized to avoid bugs and interoperability problems. There are several approaches dealing with protocol implementation testing which include a binary level verifications and code level analysis of a protocol implementations. In this article we present a formal review on verifications
more » ... w on verifications of protocol implementations done through static and dynamic techniques. Recent developments include a Symbolic Execution together with a Rule-Based specification.