Universitat zu Lubeck

Displaying 1-2 of 2 results

  • White Papers // Jan 2012

    A Dolev-Yao-Based Definition of Abuse-Free Protocols

    The authors propose a Dolev-Yao-based definition of abuse freeness for optimistic contract-signing protocols which, unlike other definitions, incorporates a rigorous notion of what it means for an outside party to be convinced by a dishonest party that it has the ability to determine the outcome of the protocol with an...

    Provided By Universitat zu Lubeck

  • White Papers // Dec 2010

    Proxies for Privacy in Ambient Systems

    The increased use of social-network services for sharing personal information has made it easier to gain awareness of each other. It has also increased the interest in privacy issues, especially since it is not always clear to the provider of information who gains access to personal data and to what...

    Provided By Universitat zu Lubeck

  • White Papers // Dec 2010

    Proxies for Privacy in Ambient Systems

    The increased use of social-network services for sharing personal information has made it easier to gain awareness of each other. It has also increased the interest in privacy issues, especially since it is not always clear to the provider of information who gains access to personal data and to what...

    Provided By Universitat zu Lubeck

  • White Papers // Jan 2012

    A Dolev-Yao-Based Definition of Abuse-Free Protocols

    The authors propose a Dolev-Yao-based definition of abuse freeness for optimistic contract-signing protocols which, unlike other definitions, incorporates a rigorous notion of what it means for an outside party to be convinced by a dishonest party that it has the ability to determine the outcome of the protocol with an...

    Provided By Universitat zu Lubeck