Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies

Abstract

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". Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.