| |||
safety properties (ssn); security features (ssn) | |||
| |||
safety property (свойство программы, утверждающее, что ничего опасного не произойдет, т.е. что программа никогда не достигнет опасного состояния. Частичная корректность, взаимное исключение и отсутствие взаимных блокировок – типичные примеры свойства безопасности ssn) | |||
safety property (применительно к конечным автоматам заключается в корректности всех выполняемых в соответствии с заданным протоколом операций) |
свойства безопасности: 23 фразы в 5 тематиках |
Атомная и термоядерная энергетика | 1 |
Информационная безопасность и защита данных | 1 |
Программирование | 10 |
Электроника | 2 |
Энергетика | 9 |