В распределенных вычислениях свойства безопасности неофициально требуют, чтобы «никогда не происходило ничего плохого» в распределенной системе или распределенном алгоритме . [1] [2] В системе баз данных обещание никогда не возвращать данные с нулевыми полями является примером гарантии безопасности. [3] Другим примером является свобода от взаимоблокировок : никогда не должно происходить, чтобы все процессы или распределенная система не могли продолжать работу, потому что они ожидают действий от другого процесса. [4]
Свойства безопасности -- это типы свойств линейного времени , изучаемые в области проверки моделей , наряду со свойствами живучести . [4] В отличие от свойств живучести, если свойство безопасности нарушено, всегда существует конечное выполнение, которое показывает нарушение. Все свойства могут быть выражены как пересечение свойств безопасности и живучести . [3]