Introduction Of Identification In Protocol Certification

Abstract

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.