随机应答器模型对新询问的应答是随机的,并且对于相同的提问会有相同的回答。随机应答器模型假设存在一个应答器H,使得所有主体(包括敌手)都可以进行交互问答。当主体输入
x
x
x时,只能通过应答器获得
H
(
x
)
H(x)
H(x)。
随机应答器模型维持了一个询问应答表
{
x
i
,
y
i
}
\left\{x_{i},y_{i}\right\}
{xi,yi},初始化为空。当收到一个询问
x
x
x时,首先看表中是否存在
x
i
x_{i}
xi使得
x
=
x
i
x=x_{i}
x=xi。如果存在则直接返回以前的应答
y
i
y_{i}
yi,否则生成一个随机值
y
y
y作为应答,并将该询问应答对
(
x
,
y
)
(x,y)
(x,y)加入到列表中。
参考文献
《安全协议分析的逻辑方法》