可證明安全的基於承諾的協議在未經驗證的通道上

本文提出了一個替代的未經驗證模型,旨在構建一個理論安全框架,以涵蓋其特性可能與現有經過驗證交換模型不完全一致的通信協議。該模型基於承諾方案構建,使用短暫信息,因此避免了長期加密材料的交換。