在Boneh和Shoup的应用密码学书中,第六章介绍了通过删除验证甲骨文对对手的访问权限来修改SUF游戏。因此,这两个版本是等价的(在某种优势因素内)。
然而,我有点困惑于这个没有验证版本的游戏.我已经对此做出了一些解释,但我还是迷路了.非正式地看来,由于验证算法在游戏中没有出现,所以没有什么可以阻止我定义一个MAC,它可以执行某种验证(即接受或拒绝的条件),但行为也不安全。例如,验证算法还广播MAC密钥。
我的第一次尝试(失败)是,从一个安全的MAC M
开始,创建一个新的M'
,这样就不会使用一个标记值(\tau
)。并修改了新的验证算法,以拒绝任何(m,\tau)
,并输出该输入的密钥。但是,这种结构不符合正确性要求,即输出不太高。因此,此反例将无效。
因此,我的问题如下:
发布于 2020-04-21 01:36:46
q
验证查询的对手D3
,都可以制造出一个对手\mathcal{A}'
,它可以进行0查询,但在形式上仍然具有“相当高”的优势。https://crypto.stackexchange.com/questions/80122
复制相似问题