Skip to Main content Skip to Navigation
Master Thesis

Formalisation de la sémantique des appels système pour un système de type UNIX

Résumé : Nous cherchons à tester kblare, un module de détection d’intrusion pour le noyau Linux. Les tests unitaires développés manuellement, pour lesquels testeur doit spécifier lui-même l’état de départ et l’état final attendu du système, ne donnent aucune garantie forte sur la couverture du code et sur la correction de kblare. Nous développons donc une approche pour la construction formelle de tests. En faisant l’hypothèse de travail que seuls les appels système causent des flux d’information dans un système d’exploitation, nous construisons une sémantique des appels système en termes de flux d’information nous permettant de définir de meilleurs tests. Nous montrons la faisabilité de cette approche en construisant une sémantique utilisant la logique transactionnelle concurrentielle. Nous présentons dans un second temps notre prototype d’interpréteur pour cette sémantique et montrons comment construire et exécuter de simples tests. Nous donnons nos premiers résultats. Ils sont positifs et nous ont convaincu du bien-fondé de l’approche, bien que nous nous heurtions à des problèmes de performance ainsi qu’à l’impossibilité de modéliser certaines situations. Nous concluons avec nos futures directions de recherche sur cette approche.
Document type :
Master Thesis
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://dumas.ccsd.cnrs.fr/dumas-01088795
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy <>
Submitted on : Friday, November 28, 2014 - 4:44:47 PM
Last modification on : Saturday, July 11, 2020 - 3:23:00 AM
Long-term archiving on: : Friday, April 14, 2017 - 10:58:04 PM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : dumas-01088795, version 1

Citation

Laurent Georget. Formalisation de la sémantique des appels système pour un système de type UNIX. Informatique [cs]. 2014. ⟨dumas-01088795⟩

Share

Metrics

Record views

164

Files downloads

198