@book{24004,
	author = {Sania Hafeez (18721)},
	title = {Modeling security specific authentication, authorization and availability in extended-communication diagram},
	publisher = {(unpublished)},
	year = {2018},
	address = {Islamabad },
	note = {Submitted in fulfillment of the requirements for the degree of Master of Science to the Faculty of Computing.}
}