composable security
koosluskindel turvalisus
olemus
protokolli turvalisus, mis säilib ka siis,
kui protokoll töötab koos
teist tüüpi protokollidega või
sama protokolli teiste isenditega
=
the property of a protocol to be also secure when
cooperating with other protocols or with other instances of the same protocol
näiteid
https://en.wikipedia.org/wiki/Universal_composability
https://eprint.iacr.org/2000/067.pdf
https://iopscience.iop.org/article/10.1088/1367-2630/ab0e3b
https://www.cs.colostate.edu/models05/DoctoralSymposium/doctoralSymposiumPapers/jaime.pdf
vt ka
- täielik koosluskindlus