Marcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux. Towards provable secure neighbor discovery in wireless networks. In Vitaly Shmatikov, editor, Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008. pages 31-42, ACM, 2008. [doi]
Abstract is missing.