 |
|
|
|
| HAL: hal-00511130, version 1 |
| Detailed view |  Export this paper |
|
|
| 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 |
|
|
| (2010-11-01) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) |
|
|
|
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges |
|
|
|
|
|
|
|
|
|
| SDS |
|
|
|
|
| Subject | : | Computer Science/Cryptography and Security |
| hal-00511130, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00511130 | |
| oai:hal.archives-ouvertes.fr:hal-00511130 | |
| From: Jonathan Rouzaud-Cornabas | |
| Submitted on: Monday, 23 August 2010 19:16:41 | |
| Updated on: Tuesday, 14 September 2010 11:25:26 | |
