Universal Composability: A Comparison of Different Models
General composition and universal composability in secure multi-party computation