@TECHREPORT{poturalski2012T1, author = {Poturalski, M. and Papadimitratos, P. and Hubaux, J.-P. },
title = {{Formal Analysis of Secure Neighbor Discovery in Wireless Networks} },
institution = {KTH },
year = {2012 },
month = {November },
comment = {URL: www.ee.kth.se/~papadim/publications/fulltext/TECH_REPORT_SND_V2.pdf} }