User Tools

Site Tools

A Formal Definition of Online Abuse-freeness (BibTeX)

  author      = {Ralf K{\"u}sters and Henning Schnoor and Tomasz Truderung},
  title       = {{A Formal Definition of Online Abuse-freeness}},
  year        = 2010,
  institution = {University of Trier},
  abstract    = {Abuse-freeness is an important security requirement for con-tract-signing protocols. In previous work, Kaehler, Kuesters, and Wilke proposed a definition for offline abuse-freeness. In this work, we generalize this definition to online abuse-freeness and apply it to two prominent contract-signing protocols. We demonstrate that online abuse-freeness is strictly stronger than offline abuse-freeness.}