@book{31106,
	author = {Ubaid Ullah (24025)},
	title = {Modeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm},
	publisher = {(unpublished)},
	year = {2020},
	address = {Islamabad},
	note = {Submitted in fulfillment of the requirements for the degree of Master of Science in Software Engineering to the Faculty of Computing.}
}