Який з перерахованих протоколів відносяться до протоколів внутрішніх шлюзів, які використовують алгоритм стану з'єднання?