@article {joy2019formal,
	title = {A formal framework for verifying IKA property of protocols},
	journal = {Journal of King Saud University-Computer and Information Sciences},
	volume = {31},
	number = {3},
	year = {2019},
	note = {n/a},
	pages = {318{\textendash}326},
	publisher = {Elsevier},
	abstract = {n/a},
	author = {Shyam P.  Joy and Priya Chandran}
}
