olemus
koosluskindla turvalisuse range erijuht: turvalisus säilib suvaliste protokollikoosluste puhul
= strict special case of composable security: security is preserved for arbitrary protocol associations

ülevaateid
https://en.wikipedia.org/wiki/Universal_composability
https://eprint.iacr.org/2000/067.pdf
https://dl.gi.de/bitstream/handle/20.500.12116/18249/CryptoDayMatters29-23-Rausch.pdf?sequence=1&isAllowed=y
https://kodu.ut.ee/~peeter_l/teaching/krprot09s/uc1.pdf