Cisco Secure Client (AnyConnect) の「ISE Posture」モジュールが、クライアントの状態を確認するために使用するプロトコルはどれか。

GETVPNにおいて、キーサーバ（KS）間の冗長性を確保するために使用されるプロトコルであり、優先順位に基づいてPrimary/Secondaryを選出するものはどれか。