Universal Composability

TODO — describe the UC framework defined in Canetti01