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]
Temas relacionados