Верификация P4: от тестирования к доказательной безопасности плоскости данных
«Верификация P4, это не просто «протестировать код», а доказать, что произвольная логика в плоскости данных, работающая на скорости аппаратного чипа, не нарушит заданные правила безопасности ни при каких входных данных. Это шаг от проверки конфигураций к доказательной корректности на уровне инструкций, которые обрабатывают пакеты.» Что такое плоскость данных и почему её программируют В сетевом оборудовании … Читать далее