000 00504nam a22001337a 4500
082 _aMSCCS-5
100 _aUbaid ur Rehman
_970372
245 _aFormal Design and verification of security protocol for VoIP
260 _aIslamabad
_bNUST-SEECS
_c2015
300 _a66
_b27cm.+
_eCD-ROM
500 _aSupervisors:Dr. Abdul Ghafoor Abbasi, Dr. Muhammad Awais Shibli, Dr. Nauman Ahmed Qureshi, Mr. Muhammad Qaisar Choudhary
856 _uhttp://10.250.8.41:8080/xmlui/handle/123456789/21911
942 _cPR
_2ddc
999 _c13163
_d13163