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

Published in: Int. J. Inf. Sec. (2020)

Keyphrases