The paper addresses the problem of emulating a regular register in a synchronous distributed system where clients invoking $$\mathsf{read}()$$ and $$\mathsf{write}()$$ operations are anonymous while server processes maintaining the state of the register may be compromised by rational adversaries (i.e., a server might behave as rational malicious Byzantine process). We first model our problem as a Bayesian game between a client and a rational malicious server where the equilibrium depends on the decisions of the malicious server (behave correctly and not be detected by clients vs returning a wrong register value to clients with the risk of being detected and then excluded by the computation). We prove such equilibrium exists and finally we design a protocol implementing the regular register that forces the rational malicious server to behave correctly.
Dettaglio pubblicazione
2017, Cyber Security Cryptography and Machine Learning, Pages 50-67 (volume: 10332)
Building Regular Registers with Rational Malicious Servers and Anonymous Clients (04b Atto di convegno in volume)
DEL POZZO Antonella, Bonomi Silvia, Lazzeretti Riccardo, Baldoni Roberto
ISBN: 978-3-319-60079-6; 978-3-319-60080-2
keywords