1 Correction to: International Journal of Information Security https://doi.org/10.1007/s10207-019-00448-9
In the original publication of this article, the third author’s name was incorrectly published. The correct name of the third author should read as “Saber Benharzallah”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Ben Attia, H., Kahloul, L., Benharzallah, S. et al. Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. Int. J. Inf. Secur. 19, 241 (2020). https://doi.org/10.1007/s10207-019-00454-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10207-019-00454-x