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

Citation:

Ben Attia H, KAHLOUL L, BENHARZALLAH S, BOUREKKACHE S. Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. International Journal of Information SecurityInternational Journal of Information Security. 2020;19 :241-241.

Date Published:

2020

Publications /Année

In Press (2)
In Preparation (3)
Submitted (15)
2023 (25)
2022 (166)
2021 (473)
2020 (440)
2019 (553)
2018 (628)
2017 (522)

Publications / Auteur

Publications / Types