为了促进可证安全性在密码学中的应用,我们对基于分组密码算法验证模式的单向函数进行了证明.认证模式是分组密码算法五种工作模式标准化新加入的一种,通过这一工作“教科书式密码”转化为现实的分组密码算法.通过安全性证明:分组密码算法的验证运算模式因为算法本身的强度而使得消息在保密和认证两方面都具备了可用的理论基础,是构造单向函数的一种合适的方法.
For promoting the application of provable security in cryptography, the CMAC (Cipher-based Message Authentication Code) mode of block cipher is proved. The CMAC mode is a new kind of operation mode in addition to the other five modes. The cryptography can be converted to the application of block cipher system. If indicates that the provable security theory can Lay a foundation for both data safety and authentication. Furthermore, the CMAC mode provides a suitable methods for construction of Hash function.