User Tools

Site Tools

A Formal Definition of Online Abuse-freeness

Ralf Küsters, Henning Schnoor, and Tomasz Truderung

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.