Зегжда, П. Д. (д-р техн. наук, проф., зав. каф.). Реализация логического подхода к оценке безопасности состояния ОС семейства MS Windows в системе анализа настроек безопасности "Декарт" [Текст] / П. Д. Зегжда, Д. П. Зегжда, М. О. Калинин> // Информационные технологии. - 2009. - N 2. - С. 50-53. . - Библиогр.: с. 53 (3 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): автоматизированный анализ систем -- информационная безопасность систем -- информационные системы -- Декарт -- анализ безопасности ОС -- операционные системы -- ОС -- Декарт Аннотация: Рассмотрен подход к оценке защищенности информационных систем путем представления и проверки безопасности их состояний с использованием логики предикатов. Представлен пример применения логического анализа настроек безопасности. Доп.точки доступа: Зегжда, Д. П. (д-р техн. наук, проф.); Калинин, М. О. (канд. техн. наук, доц.) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |