VRRP

ルータを冗長化するために用いられるプロトコルはどれか。