@INPROCEEDINGS{PapadHH:06,
author = {P. Papadimitratos and Z.J. Haas and J.P. Hubaux},
title = {{H}ow to {S}pecify and {H}ow to {P}rove {C}orrectness of
{S}ecure {R}outing {P}rotocols for {MANET}},
booktitle = {{IEEE}-{CS} {T}hird {I}nternational {C}onference on
{B}road{B}and {C}ommuncations, {N}etworks, and {S}ystems},
location = {San Jose, CA, USA},
year = 2006
}