Évaluation de la sécurité des chaînes d'approvisionnement logicielles : Software Bill of Materials (SBOM), propagation des menaces et graphes d'attaque logiques

La chaîne d'approvisionnement logicielle (SSC) devient plus complexe et vulnérable avec la diversité croissante des produits logiciels et la difficulté à suivre leurs dépendances. La Software Bill of Materials(SBOM), inventaire des composants, est proposée comme solution à cette complexité. Pourtant, les études complètes sur les pratiques SBOM à partir de fichiers réels manquent. Pour faciliter ces recherches, nous présentons le plus grand jeu de données SBOM à ce jour : plus de 78 000 fichiers uniques dédupliqués à partir de plus de 94 millions de dépôts publics.Pour exploiter efficacement les SBOM, surtout à grande échelle, le secteur a besoin d'outils automatisés fiables. Nous analysons empiriquement des SBOM réels pour évaluer huit outils de pointe destinés à valider et noter leur qualité. Nous définissons des métriques indépendantes pour juger leur adéquation et omparons les résultats des outils à nos mesures. Nos conclusions montrent que la plupart des SBOM ne sont pas prêts à l'emploi et que les outils divergent largement.Les outils actuels d'Analyse de Composition Logicielle (SCA), arbres et graphes d'attaque ne reflètent pas les interactions affectant la sécurité dans la SSC. Nous proposons une méthode inédite pour estimer le niveau de menace, identifiant les éléments clés qui propagent ou subissent l'attaque. Un ensemble de règles déduit la menace selon la vulnérabilité des composants et des hypothèses sur les attaquants.MulVal, outil open source de génération de graphes logiques d'attaque, ne traite pas bien la propagation des menaces SSC, le rendant moins efficace contre des attaques récentes comme la compromission XZ ou la double attaque 3CX. Nous présentons une extension MulVal corrigeant cette limite, ajoutant de nouveaux prédicats pour modéliser les interactions SSC, les intégrer aux règles existantes, et incluant 20 scénarios et un cadre de tests.

Authors

Publication Details

Journal
theses.fr (ABES)
Published
2025-12-01
Primary Topic
Information and Cyber Security
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Évaluation de la sécurité des chaînes d'approvisionnement logicielles : Software Bill of Materials (SBOM), propagation des menaces et graphes d'attaque logiques

Luís Fernando de Oliveira Soeiro
theses.fr (ABES)
Information and Cyber Security
article

Évaluation de la sécurité des chaînes d'approvisionnement logicielles : Software Bill of Materials (SBOM), propagation des menaces et graphes d'attaque logiques

Luís Fernando de Oliveira Soeiro
article en

Abstract

La chaîne d'approvisionnement logicielle (SSC) devient plus complexe et vulnérable avec la diversité croissante des produits logiciels et la difficulté à suivre leurs dépendances. La Software Bill of Materials(SBOM), inventaire des composants, est proposée comme solution à cette complexité. Pourtant, les études complètes sur les pratiques SBOM à partir de fichiers réels manquent. Pour faciliter ces recherches, nous présentons le plus grand jeu de données SBOM à ce jour : plus de 78 000 fichiers uniques dédupliqués à partir de plus de 94 millions de dépôts publics.Pour exploiter efficacement les SBOM, surtout à grande échelle, le secteur a besoin d'outils automatisés fiables. Nous analysons empiriquement des SBOM réels pour évaluer huit outils de pointe destinés à valider et noter leur qualité. Nous définissons des métriques indépendantes pour juger leur adéquation et omparons les résultats des outils à nos mesures. Nos conclusions montrent que la plupart des SBOM ne sont pas prêts à l'emploi et que les outils divergent largement.Les outils actuels d'Analyse de Composition Logicielle (SCA), arbres et graphes d'attaque ne reflètent pas les interactions affectant la sécurité dans la SSC. Nous proposons une méthode inédite pour estimer le niveau de menace, identifiant les éléments clés qui propagent ou subissent l'attaque. Un ensemble de règles déduit la menace selon la vulnérabilité des composants et des hypothèses sur les attaquants.MulVal, outil open source de génération de graphes logiques d'attaque, ne traite pas bien la propagation des menaces SSC, le rendant moins efficace contre des attaques récentes comme la compromission XZ ou la double attaque 3CX. Nous présentons une extension MulVal corrigeant cette limite, ajoutant de nouveaux prédicats pour modéliser les interactions SSC, les intégrer aux règles existantes, et incluant 20 scénarios et un cadre de tests.

theses.fr (ABES)
Openalex Percentile: Top 14%
Information and Cyber Security
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.