Information flow analysis for embedded systems : from practical to theoretical aspects
Nos travaux ont pour but de fournir une solution aux problèmes de confidentialité dans les systèmes multi-applicatifs: assurer la sécurité des applications dédiées aux systèmes portables et autonomes en vérifiant des propriétés de sécurité en termes de flot d'information au moment du chargement...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2008LIL10106/document |