Formal definition and comparison of access control models

Lionel Habib 1 Mathieu Jaume 1 Charles Morisset
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01195856
Contributor : Lip6 Publications <>
Submitted on : Tuesday, September 8, 2015 - 3:40:44 PM
Last modification on : Thursday, March 21, 2019 - 1:11:59 PM

Identifiers

  • HAL Id : hal-01195856, version 1

Citation

Lionel Habib, Mathieu Jaume, Charles Morisset. Formal definition and comparison of access control models. Journal of information assurance and security (JIAS), 2009, 4 (4), pp.372-381. ⟨hal-01195856⟩

Share

Metrics

Record views

124