@article {211295,
	title = {Formal Model for Inter-Component Communication and its Security in Android},
	journal = {Computting (Springer - Q2 - Impact factor 2.420)},
	year = {2022},
	author = {Mohamed A. El-Zawawy and Parvez Faruki and Mauro Conti}
}
