TY  - BOOK
AU  - Shizra Sultan
TI  - Formal deductive verification of security protocol
U1  - MSCCS-5 SHI 
PY  - 2015///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Supervisors: Dr. Abdul Ghafoor, Dr. Awais Shibli, Dr. Osman Hassan, Rahat Masood
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/30301
ER  -