Des fondements de la virologie informatique vers une immunologie formelle
Cette thèse aborde trois thèmes : la formalisation de la virologie informatique, l'élaboration de protections contre l'auto-reproduction et le problème de la détection des programmes malicieux. Nous proposons une formalisation s'appuyant sur les fondements de l'informatique théor...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2008INPL097N/document |