Статья ВЕРИФИКАЦИЯ ПРАВИЛ ФИЛЬТРАЦИИ ПОЛИТИКИ БЕЗОПАСНОСТИ МЕТОДОМ ПРОВЕРКИ НА МОДЕЛИ Полубелова О. В., Котенко И. В.