A formal approach to implement access control

Mathieu Jaume 1 Charles Morisset 1
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-01195854
Contributor : Lip6 Publications <>
Submitted on : Tuesday, September 8, 2015 - 3:39:36 PM
Last modification on : Thursday, March 21, 2019 - 1:11:59 PM

Identifiers

  • HAL Id : hal-01195854, version 1

Citation

Mathieu Jaume, Charles Morisset. A formal approach to implement access control. Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2006, 1 (2), pp.137-148. ⟨hal-01195854⟩

Share

Metrics

Record views

65