1。情報保証では、活動、プロセス、または対応する要件や仕様を持つ製品を比較する。注：検証の例としては、セキュリティポリシーのモデルと仕様を比較しているか、ソースコードとオブジェクトコードを比較する。 2。情報システムの2つのレベルを比較するプロセスは、適切な対応のための仕様（IS）は、（大腸菌G.とオブジェクトコードとソースコード、またはソースコードでトップレベルの仕様は、トップレベルの仕様とセキュリティポリシーのモデル）3。システムの2つの表現やシステムの一部との間の適合性のチェック。 4。適切な対応のためのシステムの仕様の2つのレベルを比較するプロセスは、（大腸菌Gさんは、トップレベルの仕様は、オブジェクトコードとソースコード、またはソースコードでTLSを使用したセキュリティポリシーのモデル）このプロセスは、自動化されるかもしれません。