TY - BOOK AU - Iqbal, Zafar AU - Supervisor:Dr. Zahid Anwar TI - Managing Cyber Threat Activities through Formal Modeling of CTI Data U1 - 200 PY - 2020/// CY - Islamabad PB - SEECS NUST KW - PhD-Computer Science UR - http://10.250.8.41:8080/xmlui/handle/123456789/34708 ER -