Detection d’Attaques Massives et Certification Probabiliste d’un Calcul Global

 Authors

Sebastien Varrette ´ 1,2, Jean-Louis Roch1, Axel W. Krings3, Samir Jafar

Abstract

 Cet article presente une nouvelle approche permettant de certifier l’exac ´ titude de l’execution d’un pro- ´ gramme de calcul global en environnement hostile. Ainsi, les taches ou les r ˆ esultats produit peuvent ´avoir et ´ e corrompus par un attaquant. Etendant des approches pr ´ ec ´ edentes limit ´ ees aux cas de t ´ aches ˆ independantes, nous introduisons la ´ certification probabiliste Monte-Carlo et Atlantic-City, permettant d’etablir si les r ´ esultats du calcul global sont corrects ou pas. Cette approc ´ he probabiliste ne fait aucune hypothese sur l’attaque et l’erreur de certification est uniquemen ` t liee ´ a des choix al ` eatoires malchanceux. ´ Des bornes associees ´ a la certification sont ` egalement fournies dans le cas g ´ en ´ eral de graphes de t ´ aches, ˆ mais aussi plus specifiquement pour des d ´ ependances arborescentes que l’on trouve dans les applica- ´ tions d’analyses d’images medicales qui motivent nos recherches

Keywords

Certification de resultats, Algorithme probabiliste, Calcul Global

الملفات المرفقة

Syrian Private University - Faculty of of Computer and Information Engineering @ 2024 by Syrian Monster - Web Service Provider | All Rights Reserved