Cumplimiento
de las exigencias de seguridad desde el punto de vista de construcción del
sistema, incluyendo el entorno, el proceso de desarrollo y el funcionamiento
del sistema. [CESID:1997]
(I) "The property of a
system that is guaranteed as the result of formal verification activities."
[Huff] (See: correctness proof, verification.) [RFC4949:2007]
for specified security
requirements, the representation of a product or system that shows the
implementation of the requirement is
correct. [ISO-21827:2007]