How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET.

Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-Pierre Hubaux

Browse the full Broadnets paper archive.