To search, Click below search items.
All Published Papers Search Service
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
Vol. 19 No. 7 pp. 116-126
Keywords
MANET Passive attacks, Vulnerable defense Formal Methods Security Verification & Validation VDM-SL, etc.