Secure Failure Detection and Consensus in TrustedPals

Author

Cortin, Roberto ; Freiling, Felix C. ; Ghajar-Azadanlou, Marjan ; Lafuente, Alberto ; Larrea, Mikel ; Penso, Lucia Draque ; Soraluze, Iratxe

Author_Institution

Fac. de Inf., Univ. of the Basque Country UPV, Donostia, Spain

Volume

9

Issue

4

fYear

2012

Firstpage

610

Lastpage

625

Abstract

We present a modular redesign of TrustedPals, a smart card-based security framework for solving Secure Multiparty Computation (SMC). Originally, TrustedPals assumed a synchronous network setting and allowed to reduce SMC to the problem of fault-tolerant consensus among smart cards. We explore how to make TrustedPals applicable in environments with less synchrony and show how it can be used to solve asynchronous SMC. Within the redesign we investigate the problem of solving consensus in a general omission failure model augmented with failure detectors. To this end, we give novel definitions of both consensus and the class oP of failure detectors in the omission model, which we call ◇P(om), and show how to implement ◇P(om) and have consensus in such a system with very weak synchrony assumptions. The integration of failure detection and consensus into the TrustedPals framework uses tools from privacy enhancing techniques such as message padding and dummy traffic.

Keywords

data privacy; fault tolerance; security of data; smart cards; SMC; TrustedPals consensus; dummy traffic; failure detection security; failure detectors; fault-tolerant consensus; general omission failure model; message padding; privacy enhancing techniques; secure multiparty computation; smart card-based security framework; synchronous network setting; Computational modeling; Computer crashes; Detectors; Fault tolerance; Fault tolerant systems; Resilience; Security; Failure detection; consensus; dummy traffic; fault-tolerance; general omission model; message padding; reliability.; secure multiparty computation; security performance; smart cards;

fLanguage

English

Journal_Title

Dependable and Secure Computing, IEEE Transactions on

Publisher

ieee

ISSN

1545-5971

Type

jour

DOI

10.1109/TDSC.2012.23

Filename

6155722