TY  - BOOK
AU  - Mohsin Mujahid 
AU  - Supervisors: Dr. Hanif Durad, 
TI  - Formal modeling for automated security analytics of the internet of things
U1  - 200 
PY  - 2017///
CY  - Islamabad
PB  - NUST-SEECS
KW  - PhD-Computer Science
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/26336
ER  -