Efficient static checking of dynamic access control in shared multiprocessor environments - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Efficient static checking of dynamic access control in shared multiprocessor environments

Fichier non déposé

Dates et versions

hal-04047873 , version 1 (27-03-2023)

Identifiants

Citer

Gaétan Hains. Efficient static checking of dynamic access control in shared multiprocessor environments. 2007 International Symposium on Collaborative Technologies and Systems (CTS), May 2007, Orlando (FL), United States. pp.33-36, ⟨10.1109/CTS.2007.4621735⟩. ⟨hal-04047873⟩

Collections

LACL UPEC
10 Consultations
0 Téléchargements

Altmetric

Partager

More