Що трапиться, коли дослідники навчають компілятор перетворювати бажання безпеки на робочі мережеві карти?

Корпоративні мережі починаються зі слів.

Офісери відповідності пишуть політики. Архітектори малюють зони. Інженери налаштовують межові екрани. Проміжок між першим реченням і останньою командою — це місце, де ховаються помилки. TopoIntent закриває його конвеєром компілятора: система споживає намір природною мовою, знаходить еталонні архітектури в бібліотеці з 22 шаблонів, узгоджує намір із шаблоном поетапним злиттям. Далі перевіряє отриману топологію за заходами CIS Controls v8.1.2, видимими на рівні топології. Виправляє структурні прогалини додатковими правками, що зберігають схему. Експортує скрипти Mininet з ядерними ACL iptables для перевірки досяжності та дозволів/заборон.

Бібліотека шаблонів охоплює п'ять сценаріїв. Набір пошуку містить 44 синтетичні наміри. Відкладений набір із 7 шаблонів і 14 намірів походить з фінансових та урядових сценаріїв, виключених з пошуку. На цьому наборі додаткове виправлення підвищує виконання CIS, видиме в топології, з 0,78 до 1,00 менш ніж за 1,5 раунду в середньому. Один зворотний раунд підвищує прохідність політики після ACL з 0,78 до 0,88.

Як конвеєр обмежує генерацію

Контракт схеми визначає, як виглядає валідна топологія. Зони, граничні пристрої та міжзонові шляхи мають відповідати йому. Політики контролю доступу теж мають відповідати схемі. Контракт діє як обмежувач під час генерації. Все, що порушує схему, відхиляється до перевірки відповідності.

Пошук щільними векторами знаходить найближчі еталонні архітектури в бібліотеці шаблонів. Він працює з ембеддингами тексту наміру. Отримані шаблони дають структурні пріори — розкладку зон і типових граничних пристроїв. Поширені шаблони шляхів також входять до набору пріорів. Етап злиття адаптує їх до конкретного наміру.

Поетапне злиття виконує дві задачі. Перша — узгодження наміру з шаблоном проєктує недосpecифіковану природну мову на структуру шаблону. Друга — доповнення безпеки додає відсутні контролі, що випливають з наміру, але відсутні в шаблоні. Стаття не розкриває алгоритм злиття далі назви етапів.

Перевірка відповідності на рівні топології

Заходи CIS Controls v8.1.2 оцінюються лише там, де вони видимі в топології. Сегментація мережі та захист кордону з'являються у згенерованій структурі. Примушення контролю доступу теж відображається в топології. Заходи, що залежать від конфігурації хостів чи логування, залишаються поза перевіркою. Процедурні контролі також не оцінюються. Нерозв'язані випадки позначаються для ручного огляду, а не вважаються відповідними.

Додаткові правки, що зберігають схему, виправляють структурні прогалини. Вони додають зони чи пристрої. Шляхи теж можуть доповнюватися. При цьому існуючі елементи не видаляються, схема не порушується. Автори повідомляють, що виправлення сходиться менш ніж за 1,5 раунду в середньому для відкладеного набору. Кожен раунд повторно оцінює топологію за заходами CIS.

Від топології до виконуваного тестбеду

Фінальний артефакт — скрипт Mininet. Ядерні ACL iptables реалізують політики контролю доступу. Скрипт піднімає віртуальну мережу, де тести досяжності та дозволів/заборон виконуються як код. Це переносить верифікацію зі статичного аналізу в поведінку під час виконання.

Публічного бенчмарку для задачі вимоги-до-топології не існувало. Автори сформували оціночний набір з еталонних діаграм архітектур безпеки. Набори пошуку та відкладені не перетинаються за сценаріями. Фінансові та урядові сценарії є лише у відкладеному наборі. Стаття не каже, скільки реальних намірів тестували проти синтетичних.

Система позначає нерозв'язані випадки для ручного огляду. Вона не автосхвалює їх. Зворотний цикл, що підвищує прохідність політики після ACL з 0,78 до 0,88, працює на відкладеному наборі. Стаття не описує механізм зворотного зв'язку далі підрахунку одного раунду.

Підхід компілятора може з'єднати намір і виконувану топологію. Конвеєр — контракт схеми, пошук шаблонів, поетапне злиття, перевірка відповідності, додаткове виправлення, експорт у Mininet — працює від кінця до кінця. Цифри починаються з конструйованого бенчмарку. Як система поводиться на продакшн-намірах з двозначною мовою, конфліктними вимогами чи спадщиною — не вимірювалося.