1. i informasjon forsikring, sammenligne en aktivitet, en prosess eller et produkt med tilsvarende krav eller spesifikasjoner. Merk: eksempler på bekreftelse sammenligne en spesifikasjon med en sikkerhetsmodell politikk eller sammenligne objektkode med kildekoden. 2. prosessen med å sammenligne to nivåer av en informasjon system (IS) spesifikasjon for riktig korrespondanse (f.eks security policy modell med øverste spesifikasjon, øverste spesifikasjon med kildekoden, eller kildekoden med objektkode. ) 3. kontrollen av overensstemmelse mellom to representasjoner av et system eller en del av et system. 4. prosessen med å sammenligne to nivåer av system spesifikasjon for riktig korrespondanse (f.eks security policy modell med øverste spesifikasjon, TLS med kildekoden eller kildekoden med objektkode. ) Denne prosessen kan eller ikke kan være automatisert.