ATIS Telecom Glossary
Wednesday, April 16, 2014

A B C D E F G H I
J K L M N O P Q R
S T U V W X Y Z  
Go
 
Glossary Home
Foreword
Introduction
Normative References
Using the ATIS Telecom Glossary
Annex A: Informative References
 
 
 
<< Back
verification
1. In information assurance, comparing an activity, a process, or a product with the corresponding requirements or specifications. Note: Examples of verification are comparing a specification with a security policy model or comparing object code with source code. [2382-pt.8] 2. [The] process of comparing two levels of an information system (IS) specification for proper correspondence (e.g., security policy model with top-level specification, top-level specification with source code, or source code with object code). [INFOSEC-99]   3.   The checking of conformance between two representations of a system or part of a system [CESG].   4.  The process of comparing two levels of system specification for proper correspondence (e.g., security policy model with top-level specification, TLS with source code, or source code with object code).This process may or may not be automated [TCSEC].

 

 

 

 

 

 

 

 

 

 



 
These definitions were prepared by ATIS Committee PRQC
 
For more information on the work related to these definitions,
please visit the ATIS website and the ATIS Document Center