vSRXにおいて「高可用性(HA)」を構成する際に使用されるプロトコルはどれか。

Junos Services Redundancy Protocol (JSRP) により2台のvSRXを冗長化する。