Universal Composability

TODO — describe the UC framework defined in Can01