Cryptology ePrint Archive: Report 2012/139

Available versions in chronological order

20120322:025022 (posted 22-Mar-2012 02:50:22 UTC): Formal verification of secure ad-hoc network routing protocols using deductive model-checking; Ta Vinh Thong; Publication Info: This report is the extended and revised version of our 6 pages conference paper (mentioned in the paper))
20121001:210413 (posted 01-Oct-2012 21:04:13 UTC): Formal verication of secure ad-hoc network routing protocols using deductive model-checking; Ta Vinh Thong; Publication Info: This report is the extended and revised version of our 6 pages conference paper (mentioned in the paper))
20130529:211531 (posted 29-May-2013 21:15:31 UTC): Formal verication of secure ad-hoc network routing protocols using deductive model-checking; Ta Vinh Thong; Publication Info: This report is the extended and revised version of our 6 pages conference paper (mentioned in the paper))
20130615:211912 (posted 15-Jun-2013 21:19:12 UTC): Formal verication of secure ad-hoc network routing protocols using deductive model-checking; Ta Vinh Thong; Publication Info: This report is the extended and revised version of our 6 pages conference paper (mentioned in the paper))
20130815:084615 (posted 15-Aug-2013 08:46:15 UTC): Formal verication of secure ad-hoc network routing protocols using deductive model-checking; Ta Vinh Thong; Publication Info: This report is the extended and revised version of our 6 pages conference paper (mentioned in the paper))