Aruba CXスイッチの「VSX」環境において、一方のスイッチがダウンした際にゲートウェイIPを引き継ぐ速度を向上させるために使用されるプロトコルはどれか。

BFDにより、リンク障害をミリ秒単位で検知し、高速なフェイルオーバーを可能にする。