A probabilistic approach for task and result certification of large-scale distributed applications in hostile environments

Authors:
Axel Krings;Jean-Louis Roch;Samir Jafar;Sébastien Varrette
Affiliations:
Laboratoire ID-IMAG (CNRS-INPG-INRIA-UJF – UMR 5132), Grenoble, France;Laboratoire ID-IMAG (CNRS-INPG-INRIA-UJF – UMR 5132), Grenoble, France;Laboratoire ID-IMAG (CNRS-INPG-INRIA-UJF – UMR 5132), Grenoble, France;Laboratoire ID-IMAG (CNRS-INPG-INRIA-UJF – UMR 5132), Grenoble, France
Venue:
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Year:
2005

Citing 8
Cited 6

Logic testing and design for testability

Logic testing and design for testability
Software reliability via run-time result-checking

Journal of the ACM (JACM)
Sabotage-tolerance mechanisms for volunteer computing systems

Future Generation Computer Systems - Best papers from symp. on cluster computing and the grid (CCGRID 2001)
Grid Services for Distributed System Integration

Computer
Global Computing Systems

LSSC '01 Proceedings of the Third International Conference on Large-Scale Scientific Computing-Revised Papers
Security for Grid Services

HPDC '03 Proceedings of the 12th IEEE International Symposium on High Performance Distributed Computing
Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations

DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Internet computing of tasks with dependencies using unreliable workers

OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems

Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product

Proceedings of the 2007 international workshop on Parallel symbolic computation
Design for survivability: a tradeoff space

Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead
Building Secure Resources to Ensure Safe Computations in Distributed and Potentially Corrupted Environments

Euro-Par 2008 Workshops - Parallel Processing
An adaptive and safe ubicomp for HPC applications

International Journal of Ad Hoc and Ubiquitous Computing
Group-based adaptive result certification mechanism in Desktop Grids

Future Generation Computer Systems
A novel adaptive and safe framework for ubicomp

PAKDD'07 Proceedings of the 2007 international conference on Emerging technologies in knowledge discovery and data mining

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a new approach for certifying the correctness of program executions in hostile environments, where tasks or their results have been corrupted due to benign or malicious act. Extending previous results in the restricted context of independent tasks, we introduce 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 due to 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 research.