Introduction Of Identification In Protocol Certification
Claude Baron, Jean‐Claude Geffroy · 2005
This paper shows how formal identification methods can be applied to communication protocol validation. First the general context of protocol certification is presented according to two points of view: design verification and implementation testing. Then we introduce identification principles and their applications. Last we show the applicability of identification at different levels of conformance testing.