Simulation précise du réseau interconnectant des machines virtuelles basées sur de la virtualisation matérielle pour une analyse minimisant les perturbations
Pour analyser des logiciels malveillants, les spécialistes en sécurité étudient des échantillons dans des sandboxes. Les logiciels malveillants utilisent des méthodes dites d’évasion pour détecter la présence d’une sandbox d’analyse, et masquer leurcomportement malveillant. Une partie de ces méthodes d’évasion reposent sur de l’analyse temporelle, qui peut être basée sur les performances du réseau. Par exemple, un logiciel malveillant peut faire des mesures de performances sur sa communication avec un serveur distant, et comparer ses résultats avec ceux d’une distribution connue à l’avance. Pour rendre les sandboxes résistantes à ce type d’attaques, notre approche consiste à interconnecter des machines virtuelles avec un simulateur réseau. Notre solution découple l’horloge virtuelle de chaque machine virtuelle de l’horloge physique de l’hôte, afin de synchroniser chaque horloge virtuelle avec l’horloge du simulateur. Ces travaux de thèse s’articulent selon deux axes applicatifs. Le premier axe « système » consiste à étudier comment créer un environnement réseau permettant de prédire les performances d’applications distribués. Le second axe « sécurité » est l’étude de l’intégration avec des sandboxes, dont certains outils d’analyse liés au temps peuvent interférer avec notre approche.
Authors
- Léo Cosseron (ORCID: https://orcid.org/0009-0005-4317-9703)
Publication Details
- Journal
- theses.fr (ABES)
- Published
- 2025-12-08
- Primary Topic
- Security and Verification in Computing
- Type
- article
- Field-Weighted Citation Impact
- 0.00