В распределенном вычислительном , свойства безопасности неформально требуют , чтобы «что - то плохое никогда не случится» в распределенной системе или распределенного алгоритма . [1] [2] В системе баз данных обещание никогда не возвращать данные с пустыми полями является примером гарантии безопасности. [3] Другой пример - это свобода от тупиков: никогда не должно происходить, чтобы все процессы или распределенная система не могли продолжать работу, потому что они ожидают действий от другого процесса. [4]
Свойства безопасности - это типы свойств линейного времени, изучаемые в области проверки модели , наряду со свойствами живучести . [4] В отличие от свойств живучести, свойства безопасности могут быть нарушены конечным исполнением распределенной системы. Все свойства могут быть выражены как пересечение свойств безопасности и живучести . [3]
Рекомендации
- ^ Родригес, Кристиан Качин; Рашид Геррауи; Луис (2010). Введение в надежное и безопасное распределенное программирование (2-е изд.). Берлин: Springer Berlin. С. 22–24. ISBN 978-3-642-15259-7.
- ^ Лэмпорт, Л. (1977). «Доказательство правильности многопроцессорных программ». IEEE Transactions по разработке программного обеспечения (2): 125–143. CiteSeerX 10.1.1.137.9454 . DOI : 10.1109 / TSE.1977.229904 . S2CID 9985552 .
- ^ а б Alpern, B .; Шнайдер, Ф. Б. (1987). «Признавая безопасность и живучесть». Распределенные вычисления . 2 (3): 117. CiteSeerX 10.1.1.20.5470 . DOI : 10.1007 / BF01782772 . S2CID 9717112 .
- ^ а б Байер, Кристель ; Катоен, Йост-Питер (2008). Принципы проверки модели . MIT Press. п. 104. ISBN 9780262026499.