@misc{cryptoeprint:2012:139,
    author = {Ta Vinh Thong },
    title = {Formal verification of secure ad-hoc network routing protocols using deductive model-checking},
    howpublished = {Cryptology ePrint Archive, Report 2012/139},
    year = {2012},
    url = {http://eprint.iacr.org/2012/139},
}