现代密码学4.2--消息验证码/MAC

博主正在学习INTRODUCTION TO MODERN CRYPTOGRAPHY (Second Edition) --Jonathan Katz, Yehuda Lindell，做一些笔记供自己回忆，如有错误请指正。整理成一个系列现代密码学，方便检索。

• 第二章定义了完美安全及其对应的密码方案“一次一密”，
• 第三章介绍了
  • 3.1-3.3 计算安全，PRG和基于PRG构造的满足计算安全的密码方案；
  • 3.4-3.5 CPA安全，PRF和基于PRF构造的满足CPA安全的密码方案
  • 3.6 基于PRG和PRF构造的流密码和分组密码；
  • 3.7 CCA安全，对非CCA安全密码方案的攻击
• 第四章介绍消息验证码/MAC
  • 4.1节先介绍了什么是消息完整性
  • 4.2节将介绍MAC的定义以及安全性定义

定义

• Gen：在双方交流前，首先用生成密钥算法Gen生成一个密钥$k$，双方共享
• MAC${}_k(m)$：Alice想发送一个信息$m$给Bob，需要先计算$t\leftarrow$MAC${}_k(m)$，将 ( m