 |
| |||
| характеристики безопасности | |||
| свойства безопасности (ssn) | |||
| |||
| свойство безопасности (применительно к конечным автоматам заключается в корректности всех выполняемых в соответствии с заданным протоколом операций) | |||
| свойство безопасности (свойство программы, утверждающее, что ничего опасного не произойдет, т.е. что программа никогда не достигнет опасного состояния. Частичная корректность, взаимное исключение и отсутствие взаимных блокировок – типичные примеры свойства безопасности ssn) | |||
| safety properties: 9 phrases in 5 subjects |
| Caspian | 1 |
| Diplomacy | 1 |
| General | 1 |
| Programming | 5 |
| Software | 1 |