Ubaid ur Rehman <br/><br/>
Formal Design and verification of security protocol for VoIP 

 - Islamabad  NUST-SEECS  2015 
 - 66  27cm.+  CD-ROM 
<br/><br/> Supervisors:Dr. Abdul Ghafoor Abbasi, Dr. Muhammad Awais Shibli, Dr. Nauman Ahmed Qureshi, Mr. Muhammad Qaisar Choudhary 
<br/><br/><label>Dewey Class. No.: </label>MSCCS-5