Return to Article Details Formal verification of secure ad-hoc network routing protocols using deductive model-checking Download Download PDF