CISPA
Browse
cispa_all_3308.pdf (463.72 kB)

Accountability in the Decentralised-Adversary Setting

Download (463.72 kB)
conference contribution
posted on 2023-11-29, 18:15 authored by Robert KünnemannRobert Künnemann, Deepak Garg, Michael BackesMichael Backes
A promising paradigm in protocol design is to hold parties accountable for misbehavior, instead of postulating that they are trustworthy. Recent approaches in defining this property, called accountability, characterized malicious behavior as a deviation from the protocol that causes a violation of the desired security property, but did so under the assumption that all deviating parties are controlled by a single, centralized adversary. In this work, we investigate the setting where multiple parties can deviate with or without coordination in a variant of the applied-π calculus. We first demonstrate that, under realistic assumptions, it is impossible to determine all misbehaving parties; however, we show that accountability can be relaxed to exclude causal dependencies that arise from the behavior of deviating parties, and not from the protocol as specified. We map out the design space for the relaxation, point out protocol classes separating these notions and define conditions under which we can guarantee fairness and completeness. Most importantly, we discover under which circumstances it is correct to consider accountability in the single-adversary setting, where this property can be verified with off-the-shelf protocol verification tools.

History

Preferred Citation

Robert Künnemann, Deepak Garg and Michael Backes. Accountability in the Decentralised-Adversary Setting. In: IEEE Computer Security Foundations Symposium (CSF). 2021.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

IEEE Computer Security Foundations Symposium (CSF)

Legacy Posted Date

2020-12-03

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3308, title = "Accountability in the Decentralised-Adversary Setting", author = "Künnemann, Robert and Garg, Deepak and Backes, Michael", booktitle="{IEEE Computer Security Foundations Symposium (CSF)}", year="2021", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC