@book{23977,
	author = {Shamsa Siddique (19742)},
	title = {Modeling security specific authentication, authorization, availability in extended state machine },
	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.}
}