Publication

Secure Neighbor Discovery in Wireless Networks: Formal Investigation of Possiblity