Automated Analysis of Accountability

@inproceedings{Bruni2017AutomatedAO,
  title={Automated Analysis of Accountability},
  author={Alessandro Bruni and Rosario Giustolisi and Carsten Sch{\"u}rmann},
  booktitle={ISC},
  year={2017}
}
A recent trend in the construction of security protocols such as voting and certificate management systems is to make principals accountable for their actions. Whenever some principals deviate from the protocol’s prescription and cause the failure of a goal of the system, accountability ensures that the system can detect the misbehaving parties who caused that failure. Accountability is an intuitively stronger property than verifiability as the latter only rests on the possibility of detecting… CONTINUE READING
BETA

Topics from this paper.

Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Accountability: definition and relationship to verifiability

  • ACM Conference on Computer and Communications Security
  • 2010
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL