Reactive Simulatability framework

E2010271 UNEXPLORED

The Reactive Simulatability framework is a cryptographic security model for reactive systems that formalizes and analyzes protocol security under composition, closely related in spirit to the Universal Composability framework.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Reactive Simulatability framework canonical	1

Referenced by (1)

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

Universal Composability framework → relatedTo → Reactive Simulatability framework ⓘ