The HA IPsec/IKE Synchronization module enables to synchronize IKE and IPsec between two different machines for HA purpose.
IKE synchronization: IKE SA and Child SA synchronization
IPsec synchronization: IPsec SA sequence numbers synchronization
HA Baseline
Control Plane Security - IKEv1 and IKEv2