Universal Composability framework

E830582

composability framework cryptographic security model theoretical framework in cryptography

The Universal Composability framework is a foundational cryptographic security model that enables protocols to remain secure even when composed with arbitrary other protocols running concurrently.

Try in SPARQL Jump to: Surface forms Statements Referenced by

Observed surface forms (1)

Surface form	Occurrences
Universal Composability	1

Statements (48)

Predicate	Object
instanceOf	composability framework ⓘ cryptographic security model ⓘ theoretical framework in cryptography ⓘ
abbreviation	UC framework NERFINISHED ⓘ
appliedIn	authentication protocols ⓘ cryptographic protocol design ⓘ key-exchange protocols ⓘ secure channels ⓘ secure multiparty computation protocols ⓘ
assumptionType	computational security ⓘ information-theoretic security ⓘ
canonicalPaperTitle	Universally Composable Security: A New Paradigm for Cryptographic Protocols NERFINISHED ⓘ
capturesScenario	adversarially scheduled message delivery ⓘ composition with arbitrary external protocols ⓘ concurrent protocol executions ⓘ
coreConcept	universal composability ⓘ
definesConcept	adversary ⓘ environment ⓘ ideal functionality ⓘ real-world protocol ⓘ simulator ⓘ
enables	modular protocol design ⓘ reusable security guarantees across protocols ⓘ security proofs via ideal functionalities ⓘ
field	cryptography ⓘ secure multiparty computation ⓘ theoretical cryptography ⓘ
formalizedIn	UC security definition ⓘ
goal	to ensure protocol security under arbitrary composition ⓘ to model security of protocols running concurrently ⓘ to provide strong, modular security guarantees ⓘ
influenced	Abstract Cryptography framework NERFINISHED ⓘ GNUC framework ⓘ JUC framework ⓘ
introducedBy	Ran Canetti NERFINISHED ⓘ
property	composability under polynomially many protocol instances ⓘ environment-based adversarial model ⓘ security is preserved under composition with other protocols ⓘ simulation-based security definition ⓘ supports arbitrary concurrent composition of protocols ⓘ
relatedTo	Reactive Simulatability framework NERFINISHED ⓘ simulation-based security ⓘ stand-alone security models ⓘ
requires	specification of ideal functionalities ⓘ
securityDefinedAs	existence of a simulator for any real-world adversary ⓘ indistinguishability between real and ideal executions ⓘ
strongerThan	stand-alone security for many tasks ⓘ
yearIntroducedApprox	early 2000s ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Ran Canetti → knownFor → Universal Composability framework ⓘ

Ran Canetti → notableConcept → Universal Composability framework ⓘ

this entity surface form: Universal Composability