TY  - RPRT
TI  - How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
AU  - P. Papadimitratos
AU  - Z. J. Haas
AU  - J. -P. Hubaux
PY  - 2009
DO  - 10.1109/broadnets.2006.4374344
UR  - https://arxiv.org/abs/0912.5497
ID  - 0912.5497
ER  -