1. של אבטחת מידע, השוואת פעילות, תהליך או מוצר עם הדרישות המתאים או מפרטים. הערה: דוגמאות אימות השוואת מפרט עם מודל מדיניות אבטחה או השוואת קוד אובייקט עם קוד המקור. 2-תהליך ההשוואה של שתי רמות של מפרט המערכת (IS) מידע עבור תכתובת נכונה (למשל, מדיניות מודל אבטחה עם מפרט ברמה העליונה, מפרט ברמה העליונה עם קוד המקור, או קוד מקור עם קוד אובייקט. ) 3. בדיקת התאמה בין בשני ייצוגים של מערכת או חלק ממערכת. 4. תהליך ההשוואה של שתי רמות של מפרט מערכת עבור תכתובת נכונה (למשל, מדיניות מודל אבטחה עם מפרט ברמה העליונה, TLS עם קוד המקור, או קוד מקור עם קוד אובייקט. ) תהליך זה עשויה או לא עשויה להיות אוטומטי.