16、可审计的非对称密码认证公钥建立

可审计的非对称密码认证公钥建立

1. FTOPRF功能

FTOPRF功能由正整数 t 进行参数化，与客户端 C、服务器 S1、S2 以及敌手 A 一起运行。它维护一个初始化为空条目的表 T(·, ·) 和一个初始化为 0 的向量 tx(·)。

1.1 初始化

• 来自服务器 Si 的初始化 ：当收到来自 Si（i ∈ {1, 2}）的 (Init, sid) 消息时，将 (Init, sid, Si) 发送给敌手 A，并标记 Si 为活跃状态。
• 来自敌手 A 的初始化 ：当收到来自 A 的 (Init, sid, A, k) 消息时，检查 k 是否未被使用且 k ≠ 0，记录 (sid, A, k)，并将 (Init, sid, A, k) 返回给敌手 A。
• 敌手 A 完成初始化 ：当收到来自敌手 A 的 (InitComplete, sid, Si) 消息（i ∈ {1, 2}）且 Si 处于活跃状态时，将 (InitComplete, sid) 发送给 Si，并标记 Si 为已初始化。

1.2 评估

• 来自客户端或敌手的评估请求 ：当收到来自 P ∈ {C, A} 的 (eval, sid, ssid, x) 消息时，如果元组 (ssid, P, ∗) 已经存在，则忽略该消息；否则，记录 (ssid, P, x) 并将 (eval, sid, ssid, P) 发送给 A。