密码协议中的序贯理性

大量关于理性密码学的文献侧重于分析密码协议的策略性质。然而，由于计算能力受限的参与者以及密码安全性的渐近性质，针对该场景的序贯理性定义一直未能被研究者提出。我们提出了一个克服这些障碍的新框架，并首次给出了保证序贯理性的计算解概念的定义。我们认为，子博弈完美性的自然计算变体对于密码协议而言过于严格。作为替代，我们引入了一种称为无威胁纳什均衡的弱化概念，它更具包容性，但仍能消除非序贯解概念中不良的“空威胁”。为展示我们框架的适用性，我们重新审视了实现关联均衡中介者的问题（Dodis-Halevi-Rabin, Crypto'00），并提出了他们协议的一个变体，该变体对于一类非平凡的关联均衡是序贯理性的。我们的研究有助于更好地理解在何种条件下，关联均衡中的中介者可以被稳定的协议所替代。