Title	Formal Analysis and Verification of Packet Recovery Protocols for Multicast Video
Author	Muhammad Atif, Nadia Mushtaq, M. Sohaib Mahmood, Muhammad Naeem, Amjad Riaz
Citation	Vol. 18  No. 3  pp. 110-118
Keywords	Multicasting Video/Audio, Formal Specification, Model Checking, Packet Recovery protocol, QoS in Multimedia Transmissions.

Title	Cyber Security Issues in Smart Meter and Their Solutions
Author	Fatemeh Halim, Salman Yussof and Mohd. Ezanee Rusli
Citation	Vol. 18  No. 3  pp. 99-109
Keywords	Smart meter, cyber security, security issues, security solutions.

Title	Optimized Hybrid Security Model using Base 64 Algorithm in conjunction with Substitution Cipher to Enhance Text Security
Author	Abdullah Maitlo, Rafaqat Hussain Arain, Riaz Ahmed Shaikh, Hidayatullah Shaikh, Mahmood Hussain Shah, Safdar Ali Shah, Mumtaz Hussain Mahar
Citation	Vol. 18  No. 3  pp. 93-98
Keywords	Information Security, Network Security, Encryption, Decryption, Substitution Cypher, Cryptography

Title	A review of Requirement Elicitation techniques in OSSD
Author	Shehla Saeed, Umbreen Fatima and Faiza Iqbal
Citation	Vol. 18  No. 3  pp. 86-92
Keywords	Requirement engineering, requirement- elicitation, requirement acquisition, open source.