Зведений каталог бібліотек Харкова
Полубелова, О. В. Верификация правил фильтрации политики безопасности методом проверки на модели [Текст] / О.В. Полубелова, КотенкоИ.В. // Известия высших учебных заведений. Приборостроение. / МО РФ, СПб ГУИТМО. — С. 44-49.
- Анотація:
Предложен поджен подход к верификации правил фильтрации, предназначенный для обнаружения и разрешения аномалий фильтрации в спецификациях политики безопасности компьютерных сетей. Подход основан на методе проверки на модели.
- Є складовою частиною документа:
Известия высших учебных заведений. Приборостроение. [Текст] / МО РФ, СПб ГУИТМО. — СПб.
- Теми документа
