@ARTICLE{poturalski2013, author = {Poturalski, M. and Papadimitratos, P. and Hubaux, J.-P. },
title = {{Formal Analysis of Secure Neighbor Discovery in Wireless Networks} },
journal = {IEEE Transactions on Dependable and Secure Computing (IEEE TDSC) },
year = {2013 },
comment = {to appear} }