En la computación distribuida , las propiedades de seguridad requieren informalmente que "algo malo nunca suceda" en un sistema distribuido o algoritmo distribuido . [1] [2] En un sistema de base de datos , la promesa de no devolver nunca datos con campos nulos es un ejemplo de garantía de seguridad. [3] Otro ejemplo es el de la libertad de interbloqueo : nunca debería ocurrir que todos los procesos o un sistema distribuido no puedan continuar porque están esperando la acción de otro proceso. [4]
Las propiedades de seguridad son tipos de propiedades de tiempo lineal estudiadas en el área de verificación de modelos , junto con propiedades de vivacidad . [4] A diferencia de las propiedades de vida, si se viola una propiedad de seguridad, siempre hay una ejecución finita que muestra la violación. Todas las propiedades se pueden expresar como la intersección de las propiedades de seguridad y vitalidad . [3]