@INPROCEEDINGS{PoturaPHb:C:08,
author = {M. Poturalski and P. Papadimitratos and J.-P. Hubaux},
title = {{T}owards {P}rovable {S}ecure {N}eighbor {D}iscovery in
{W}ireless {N}etworks},
booktitle = {{ACM} {W}orkshop on {F}ormal {M}ethods in {S}ecurity {E}ngineering},
pages = {31--42},
address = {Alexandria, VA, USA},
month = {October},
year = {2008}
}