2010 | OriginalPaper | Chapter
A Formal Definition of Online Abuse-Freeness
Authors : Ralf Küsters, Henning Schnoor, Tomasz Truderung
Published in: Security and Privacy in Communication Networks
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abuse-freeness is an important security requirement for con-tract-signing protocols. In previous work, Kähler, Küsters, 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.