A Quick Crash Detection Method for the Internet Key Exchange Protocol (IKE). - Yoav Nir; David Wierbowski; Frederic Detienne; Pratima Sethi (RFC, 2011)