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.

Title	Gauging the Scalability of SLIM+ Multicast Routing Protocol for Live Multimedia Streaming in MANETs
Author	Nazish Nawaz Hussaini, Shahmurad Chandio, Arifa Bhutto, Safiullah Faizullah
Citation	Vol. 19  No. 6  pp. 110-115
Keywords	open-MANETs, Scalability, Reconfiguration frequencies, Simultaneous Listener nodes, VANETs.

Title	An efficient multicast routing protocol with a minimum Routing load on the Network
Author	Nazish Nawaz Hussaini, Khalid Hussain Mohammadani, Syed Muhammad Raheem Shah, Safiullah Faizullah
Citation	Vol. 19  No. 5  pp. 90-94
Keywords	MANETs SLIM+ PUMA Open groups Stress1 Stress2

Title	An Efficient Privacy Preserving Protocol for VANET Using Hybrid Approach
Author	Safia Mushtaq, Noor ul Amin, Jawaid Iqbal, Chand Bibi, Yousra Saeed and Irshad Ullah
Citation	Vol. 19  No. 2  pp. 46-55
Keywords	Vehicular-Ad-hoc Network (VANET), Hyper Elliptic Curve Cryptography (HECC), Mobile-Ad-hoc Network (MANET), Blowfish, Road Side Unit (RSU), Vehicle-to-Vehicle (V2V), Vehicle-to-RSU (V2R), Vehicle-to-Trusted Authority (V2T).