Combinaison d'approche statique et dynamique pour l'application de politiques de sécurité
Ce mémoire présente une approche d'application de politiques de sécurité qui utilise une analyse de types basée sur un système de types multi-valeurs. Cette analyse est suivie d'une instrumentation lorsque nécessaire. Le langage cible est un langage impératif. Notre approche vise à réduire...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | FR |
| Published: |
Université Laval
2014
|
| Subjects: | |
| Online Access: | http://www.theses.ulaval.ca/2014/30434/30434.pdf |