Пошук академічних текстів

Інформація × Реєстраційний номер 2113U001847, Матеріали видань та локальних репозитаріїв Категорія Thesis Назва роботи Аппарат булева дифференциального исчисления для анализа деструктивов Автор Дата публікації 01-01-2013 Постачальник інформації Сумський державний університет Першоджерело http://essuir.sumdu.edu.ua/handle/123456789/44212 Видання Сумский государственный университет Опис Аппарат булева дифференциального исчисления предназначен для проверки существенных переменных и компонентов КС, включая и анализ существенности деструктивов – уязвимости и проникновения – для состояния киберсистемы. Рассматриваются методы взятия булевых производных по таблице истинности, дизъюнктивной форме или кубическому покрытию для создания условий активизации на входных переменных при синтезе тестов для проверки уязвимостей (проникновений). Додано в НРАТ 2025-05-12 Закрити