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

Submitted (11)
2024 (16)
2023 (28)
2022 (169)
2021 (473)
2020 (440)
2019 (553)
2018 (630)
2017 (522)
2016 (439)

Publications / Auteur

Publications / Types