A Probabilistic Approach for Task and Result Certification of Large-scale Distributed Applications in Hostile Environments

 Authors

Axel Krings, Jean-Louis Roch, Samir Jafar, and S´ebastien Varrette

Abstract

This paper presents a new approach for certifying the correctness of program executions in hostile environments, where tasks ortheir results have been corrupted due to benign or malicious act. Extending previous results in the restricted context of independent tasks, weintroduce a probabilistic certification that establishes whether the results of computations are correct. This probabilistic approach does not make any assumptions about the attack and certification errors are only dueto unlucky random choices. Bounds associated with certification are provided for general graphs and for tasks with out-tree dependencies found in a medical image analysis application that motivated the resea 

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

Syrian Private University - Scentafic Research @ 2024 by Syrian Monster - Web Service Provider | All Rights Reserved