Bezpečnostní vlastnost - Safety property
v distribuované výpočty, bezpečnostní vlastnosti neformálně požadovat, aby se „něco špatného nikdy nestalo“ v a distribuovaný systém nebo distribuovaný algoritmus.[1][2] V databázový systém, slib, že nikdy nevrátí data s nulovými poli, je příkladem záruky bezpečnosti.[3] Dalším příkladem je zablokování svoboda - nikdy by nemělo nastat, že všechny procesy nebo distribuovaný systém nejsou schopny pokračovat, protože čekají na akci jiného procesu.[4]
Bezpečnostní vlastnosti jsou typy lineární časové vlastnosti studoval v oblasti kontrola modelu, spolu s vlastnosti živosti.[4] Na rozdíl od živých vlastností mohou být bezpečnostní vlastnosti narušeny konečným provedením distribuovaného systému. Všechny vlastnosti lze vyjádřit jako průsečík bezpečnosti a živost vlastnosti.[3]
Reference
- ^ Rodrigues, Christian Cachin; Rachid Guerraoui; Luís (2010). Úvod do spolehlivého a bezpečného distribuovaného programování (2. vyd.). Berlín: Springer Berlin. s. 22–24. ISBN 978-3-642-15259-7.
- ^ Lamport, L. (1977). "Prokázání správnosti víceprocesových programů". Transakce IEEE v softwarovém inženýrství (2): 125–143. CiteSeerX 10.1.1.137.9454. doi:10.1109 / TSE.1977.229904.
- ^ A b Alpern, B .; Schneider, F. B. (1987). "Uznáváme bezpečnost a živost". Distribuované výpočty. 2 (3): 117. CiteSeerX 10.1.1.20.5470. doi:10.1007 / BF01782772.
- ^ A b Baier, Christel; Katoen, Joost-Pieter (2008). Zásady kontroly modelu. MIT Stiskněte. str. 104. ISBN 9780262026499.
![]() | Tento počítačový článek je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |