38、受限设备的隐私保护认证密钥交换及投票协议相关研究

受限设备的隐私保护认证密钥交换及投票协议相关研究

1. 受限设备的隐私保护认证密钥交换

在受限设备的通信场景中，隐私保护认证密钥交换（PPAKE）至关重要。下面介绍几个关键的函数：
- verif - entry 函数 ：该函数接收数据库中的一个条目 entry 和消息 mB 作为输入（假设其他使用的值为“全局”参数）。若 entry 能正确验证 mB ，则输出 true 。
- find - entry 函数 ：输入消息 mB = ¯idB∥rB∥τB ，输出数据库中的一个条目 entry 或者 ∅ 。其伪代码如下：

foreach entry ∈db
    if (verif - entry(entry, mB) = true)
        return entry
return ∅

• verif - table 函数 ：输入哈希表 htable 和值 x ，若 x 存在于 htable 中，则输出 true ，否则返回 false