Smatch: Formal dynamic session management model for RBAC

Frédéric Cuppens, Nora Boulahia Cuppens, Meriam Ben-Ghorbel-Talbi, Stéphane 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:	08 Apr 2025 07:12

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistics

Repository Staff Only