Convergence of detection probability, computational gains, and asymptotic analysis of an algorithm for physical-layer intrusion detection system.