Text this: Analysis of provably secure on-demand source routing in MANET