On Defendability of Security Properties

Wojciech Jamroga, Matthijs Melissen, Henning Schnoor

We study the security of interaction protocols when incentives of participants are taken into account. We begin by formally defining correctness of a protocol, given a notion of ra…