 |
|
|
|
| HAL : hal-00511130, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Transactions on Computational Sciences Journal (2010) _ |
|
|
|
|
| From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems |
|
|
| Patrice Clemente 1Jonathan Rouzaud-Cornabas 1 |
|
|
| (01/11/2010) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) |
|
|
|
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges |
|
|
|
|
|
|
|
|
|
| SDS |
|
|
|
|
| Domaine | : | Informatique/Cryptographie et sécurité |
| hal-00511130, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00511130 | |
| oai:hal.archives-ouvertes.fr:hal-00511130 | |
| Contributeur : Jonathan Rouzaud-Cornabas | |
| Soumis le : Lundi 23 Août 2010, 19:16:41 | |
| Dernière modification le : Mardi 14 Septembre 2010, 11:25:26 | |
