@book{610549,
	author = {Iqbal, Zafar and Supervisor:Dr. Zahid Anwar},
	title = {Managing Cyber Threat Activities through Formal Modeling of CTI Data/},
	publisher = {SEECS NUST;},
	year = {2020.},
	address = {Islamabad;},
	url = { http://10.250.8.41:8080/xmlui/handle/123456789/34708}
}