Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0808.2668
Cited By
Secure Neighbor Discovery in Wireless Networks: Formal Investigation of Possibility
19 August 2008
Marcin Poturalski
Panos Papadimitratos
Jean-Pierre Hubaux
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Secure Neighbor Discovery in Wireless Networks: Formal Investigation of Possibility"
1 / 1 papers shown
Title
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
Panos Papadimitratos
Z. J. Haas
Jean-Pierre Hubaux
86
27
0
30 Dec 2009
1
