Title	A Comprehensive Formal Testing of Few Attacks on Mobile Ad-hoc Networks By Using VDM-SL Tool Box
Author	Umar Draz, Tariq Ali, Khurshid Asghar, Asis Jamal, Aiman Anum, Sarah Javed , Sana Yasin
Citation	Vol. 19  No. 7  pp. 116-126
Keywords	MANET Passive attacks, Vulnerable defense Formal Methods Security Verification & Validation VDM-SL, etc.