Date Added: Jun 2011
The authors put forward a framework for the modular design and analysis of multi-party protocols. The framework is called "GNUC" (with the recursive meaning "GNUC's Not UC"), already alluding to the similarity to Canetti's Universal Composability (UC) framework. In particular, like UC, they offer a universal composition theorem, as well as a theorem for composing protocols with joint state. They deviate from UC in several important aspects. Specifically, they have a rather different view than UC on the structuring of protocols, on the notion of polynomial-time protocols and attacks, and on corruptions. They will motivate the definitional choices by explaining why the definitions in the UC framework are problematic, and how they overcome these problems.