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	A Survey on Registration Hijacking Attack Effects and Protection in Session Initiation Protocol (SIP)
Author	Makhdoom Muhammad Naeem, Intesab Hussain, and Malik Muhammad Saad Missen
Citation	Vol. 25  No. 7  pp. 101-118
Keywords	VoIP, SIP, network security, sip security.