Universal Composability in Cryptography