Marcin Poturalski Panagiotis Papadimitratos Jean-Pierre Hubaux Towards provable secure neighbor discovery in wireless networks. 31-42 2008 FMSE http://doi.acm.org/10.1145/1456396.1456400 conf/ccs/2008fmse db/conf/ccs/fmse2008.html#PoturalskiPH08a