论文部分内容阅读
消息认证码（Message Authentication Codes，MACs）是保证消息完整性的重要工具．Bellare等人提出了称为XOR—MAC的消息认证码，界定了攻击者成功伪造的概率，从而证明了其安全性，但是他们给出的证明方法较为复杂．本文使用Game—Playing技术采用新的安全性定义证明了XOR—MAC的安全性，证明方法简单明了；在底层所使用的分组密码是伪随机置换的假设下，量化了该消息认证码与随机函数之间区分的概率．