1.中的資訊保證、 活動、 一個過程或有相應的要求或規格的產品進行比較。注： 核查的例子是比較規範的安全性原則模型或比較的物件代碼與原始程式碼。2.進行比較的過程兩個級別的資訊系統 (IS) 規範為適當的對應 （例如，與頂級規格、 頂級規格與原始程式碼或與物件代碼的原始程式碼安全性原則模型。) 3.的系統或系統的一部分的兩種表示形式之間的一致性檢查。4.進行比較的過程兩個層面系統規範的適當的對應 （例如，與頂級規格，帶有原始程式碼或與物件代碼的原始程式碼的 TLS 安全性原則模型。) 這一進程可能或不可能實現自動化。