@article {63134,
	title = {Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies},
	journal = {International Journal of Information SecurityInternational Journal of Information Security},
	volume = {19},
	year = {2020},
	month = {2020},
	pages = {241-241},
	isbn = {1615-5270},
	author = {Ben Attia, Hasiba and KAHLOUL, Laid and BENHARZALLAH, Saber and Samir BOUREKKACHE}
}
