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	Improving Scrum Model Using Inclusion Information Security Practices through Information Security Master and Backlog Framework
Author	Shafiq Hussain, Umar Draz, Sana Yasin, Aisha Tahseen, Zunain Ahmad, Haroon Mahmood, Zaid Bin Faheem, Shahid Sani
Citation	Vol. 20  No. 6  pp. 99-111
Keywords	Scrum agile development information security, backlog master software development.