Cadre algébrique pour le renforcement de politique de sécurité sur des systèmes concurrents par réécriture automatique de programmes
La société moderne est de plus en plus dépendante de l'informatique dont le rôle est devenu tellement vital au point que tout dysfonctionnement peut engendrer des pertes considérables voire des conséquences irréversibles telles que la perte de vies humaines. Pour minimiser les dégâts, plusieurs...
Main Author: | |
---|---|
Other Authors: | |
Format: | Doctoral Thesis |
Language: | French |
Published: |
Université Laval
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/20.500.11794/21599 |