<  Back to the Polytechnique Montréal portal

Smatch: Formal dynamic session management model for RBAC

Frédéric Cuppens, Nora Boulahia Cuppens, Meriam Ben-Ghorbel-Talbi, Stephane Morucci and Nada Essaouini

Article (2013)

Document published while its authors were not affiliated with Polytechnique Montréal

An external link is available for this item
PolyPublie URL: https://publications.polymtl.ca/46538/
Journal Title: Journal of Information Security and Applications (vol. 18, no. 1)
Publisher: Elsevier
DOI: 10.1016/j.jisa.2013.07.001
Official URL: https://doi.org/10.1016/j.jisa.2013.07.001
Date Deposited: 18 Apr 2023 15:09
Last Modified: 05 Apr 2024 11:46
Cite in APA 7: Cuppens, F., Boulahia Cuppens, N., Ben-Ghorbel-Talbi, M., Morucci, S., & Essaouini, N. (2013). Smatch: Formal dynamic session management model for RBAC. Journal of Information Security and Applications, 18(1), 30-44. https://doi.org/10.1016/j.jisa.2013.07.001

Statistics

Dimensions

Repository Staff Only

View Item View Item