A Traffic-Based Method of Detecting Dead IKE Peers