FlowCert : probabilistic certification for peer-to-peer computations

  • S. Varrette Laboratoire ID/IMAG / CNRS / INPG / INRIA / UJF
  • J. -L. Roch Laboratoire ID/IMAG / CNRS / INPG / INRIA / UJF
  • F. Leprevost Université du Luxembourg

Resumo


Large scale cluster, peer-to-peer computing systems and grid computer systems gather thousands of nodes for computing parallel applications. At this scale, it raises the problem of the result checking of the parallel execution of a program on an unsecured grid. This domain is the object of numerous works, either at the hardware or at the software level. We propose here an original software method based on the dynamic computation of the data-flow associated to a partial execution of the program on a secure machine. This data-flow is a summary of the execution: any complete execution of the program on an unsecured remote machine with the same inputs supplies a flow which summary has to correspond to the one obtained by partial execution.
Palavras-chave: Peer to peer computing, Certification, Hardware, Computer architecture, Forgery, Large-scale systems, Concurrent computing, Grid computing, Computer applications, Application software
Publicado
27/10/2004
Como Citar

Selecione um Formato
VARRETTE, S.; ROCH, J. -L.; LEPREVOST, F.. FlowCert : probabilistic certification for peer-to-peer computations. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 16. , 2004, Foz do Iguaçu/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2004 . p. 108-115.