1. In Informationssicherung, eine Aktivität, einen Prozess oder ein Produkt mit den entsprechenden Anforderungen oder Spezifikationen vergleichen. Hinweis: Beispiele für Verifizierung sind eine Spezifikation mit einer Sicherheitsrichtlinienmodell vergleichen oder Objektcode mit Source-Code vergleichen. 2. Der Prozess des Vergleichens zwei Stufen für eine Information Systems (IS) Spezifikation für korrekte Korrespondenz (z.B. Sicherheitsrichtlinienmodell mit Top-Level-Spezifikation, Top-Level-Spezifikation mit Quellcode oder Quelltext mit Objektcode. ) 3. Die Prüfung der Übereinstimmung zwischen zwei Darstellungen eines Systems oder Teil eines Systems. 4. Der Prozess des Vergleichens zwei Ebenen der Systemspezifikation für korrekte Korrespondenz (z.B. Sicherheitsrichtlinienmodell mit TLS mit Quellcode oder Quelltext mit Objekt-Code Top-Level-Spezifikation. ) Dieser Prozess kann oder kann nicht automatisiert werden.