Portal de Periódicos da CAPES

Analysis of Information Leakage Due to Operative Errors in Card-Based Protocols

2018; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-319-94667-2_21

1611-3349

Takaaki Mizuki, Yuichi Komano,

Formal Methods in Verification

Card-based protocols provide secure multi-party computation using a deck of physical cards, via a series of operations such as shuffling and turning over cards, which are supposed to be executed by humans. Although almost all existing protocols have been designed to be perfectly secure, operative errors by humans would cause information leakage. In this paper, we propose a technique for analyzing information leakage due to operative errors in card-based protocols. To be specific, we introduce a concept, which we call a "probability trace," and propose a new diagram for displaying how much information leaks, by enhancing the KWH diagram proposed by Koch, Walzer, and Härtel. By applying our diagram to a card-based protocol with an operative error, we can precisely reveal the leakage of players' inputs from the protocol output. We also discuss an application of the diagram to human-error-free implementations of the existing six-card AND protocol.