We propose an alternative framework to that of Alwen et. al. We then observe that our framework allows capturing not only collusion-freeness and game-theoretic solution concepts, but also several other properties that involve the restriction of information flow among adversarial entities. These include some natural flavors of anonymity, deniability, timing separation, and information confinement. We also demonstrate the inability of existing formalisms to capture these properties.
We then prove strong composition properties for the proposed framework, and use these properties to demonstrate the security, within the new framework, of two very different protocols for securely evaluating any function of the parties’ inputs.Category / Keywords: Universal Composability, Local Universal Composability, Anonymity, Deniability, Confinement, Game-theory, Concurrent composition Date: received 2 Mar 2012, last revised 16 May 2012 Contact author: margarita vald at cs tau ac il Available format(s): PDF | BibTeX Citation Version: 20120517:005439 (All versions of this report) Discussion forum: Show discussion | Start new discussion