User Tools

Site Tools


A Formal Definition of Online Abuse-freeness (BibTeX)

@inproceedings{KuestersSchnoorTruderung-SecComm-2010,
  author = {Ralf K{\"u}sters and Henning Schnoor and Tomasz Truderung},
  title = {{A Formal Definition of Online Abuse-freeness}},
  year = {2010},
  series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
  volume = {50},
  pages = {484-497},
  booktitle = {Proceedings of the 6th International ICST Conference on Security and Privacy in Communication Networks (SecureComm 2010)},
  publisher = {Springer},
  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.},
}