TY  - BOOK
AU  - Ubaid ur Rehman
TI  - Formal Design and verification of security protocol for VoIP
U1  - MSCCS-5 
PY  - 2015///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Supervisors:Dr. Abdul Ghafoor Abbasi, Dr. Muhammad Awais Shibli, Dr. Nauman Ahmed Qureshi, Mr. Muhammad Qaisar Choudhary
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/21911
ER  -