Poturalski, et al.. Towards Provable Secure Neighbor Discovery in Wireless Networks. 19 Aug. 2008.