1.在信息保证，比较活动、 一个过程或有相应要求或规格的产品。注： 验证的示例是比较规范的安全策略模型或比较对象代码与源代码。2。 对比的过程两个级别的信息系统 (IS) 规范正确函授 （例如，安全策略模型与顶级规格、 顶级规格与源代码或源代码与对象的代码。） 3。 的系统或系统的一部分的两种表示形式之间的一致性检查。4。 对比的过程两个级别的系统规范正确函授 （例如，安全策略模型与顶级的技术指标，TLS 与源代码或源代码与对象代码。） 这一进程可能或不可能自动完成。