Kennt irgendein Körper eine gute Referenz für die Bedeutung der geradlinigen Simulierbarkeit? Ich befinde mich derzeit intensiv mit dem Universal Composability (UC) -Framework von Canetti, kann jedoch keine gute Referenz für die Bedeutung der geradlinigen Simulierbarkeit finden. Jede Hilfe wird geschätzt.
cr.crypto-security
Yasser Sobhdel
quelle
quelle
Es gibt keine formale Definition dessen, was es bedeutet, ein geradliniger Simulator zu sein. Es ist nur eine intuitive Idee, mit der Dinge auf informelle Weise beschrieben werden können. Ich bin sehr skeptisch, ob man überhaupt definieren kann, was es bedeutet, eine Maschine nicht zurückzuspulen . In der Tat ist das Zurückspulen einer Maschine selbst ein informeller Begriff! Was wir unter Umverdienen einer Maschine wirklich verstehen, ist, dass wir viele mögliche Ausführungspfade einer Maschine aus einem bestimmten Zustand heraus untersuchen können. Formale Argumente basieren dann auf der Anzahl solcher Hinrichtungen, die wir untersuchen müssen, bevor wir eine Falltür oder andere Informationen erhalten können, die wir benötigen, um unseren Beweis weiter fortzusetzen.
quelle