RU 2005113389, 10.11.2006. RU 2137185 С1, 10.09.1999. RU 2159953 С1, 27.11.2000. US 20030126302 A1, 03.07.2003. US 20050251853 A1, 10.11.2005. US 5199066 A, 30.03.1993.
Имя заявителя:
ООО "НеоБИТ" (RU)
Изобретатели:
Зегжда Дмитрий Петрович (RU) Зегжда Петр Дмитриевич (RU) Калинин Максим Олегович (RU)
Патентообладатели:
ООО "НеоБИТ" (RU)
Реферат
Изобретение относится к области защиты информационных систем, а именно к оценке защищенности информационных систем путем представления системных состояний, требований безопасности и модели контроля и управления доступом с использованием логики предикатов и автоматической проверки соблюдения требований безопасности на множестве системных состояний с учетом правил модели контроля и управления доступом. Технический результат заключается в сокращении числа ошибок администрирования безопасности, повышении гарантированности выполнения требований безопасности, сокращении временных и ресурсных затрат на оценку защищенности информационных систем. Указанный результат достигается за счет представления предикатами системных состояний, модели контроля и управления доступом, требований безопасности, а также за счет применения правил резолюции (вывода), автоматизирующих проверку требований безопасности на состояниях системы. 2 н. и 8 з.п. ф-лы, 3 ил.
Поиск патентов
Получить полное описание патента