1. dans l'assurance de l'information, en comparant une activité, un processus ou un produit avec les exigences correspondantes ou aux spécifications. Remarque : exemples de vérification sont en comparant une spécification avec un modèle de politique de sécurité ou en comparant le code objet contenant du code source. 2. le processus de la comparaison de deux niveaux d'une spécification de système (IS) des informations pour la correspondance appropriée (p. ex., la politique modèle de sécurité avec Top Level specification, spécification de niveau supérieur avec code source ou le code source avec le code de l'objet. ) 3. la vérification de la conformité entre deux représentations d'un système ou une partie d'un système. 4. le processus de comparer deux niveaux de spécification de système pour la correspondance appropriée (p. ex., la politique modèle de sécurité avec spécification de niveau supérieur, TLS avec code source ou le code source avec le code de l'objet. ) Ce processus peut ou ne peut pas être automatisé.