定义

一个Hash族是满足下列条件的四元组(X,J,K,H):

1. X是所有可能的消息的集合。
2. y是由所有可能的消息摘要或认证标签构成的有限集。
3. K是密钥空间，是所有可能的密钥构成的有限集。
4. 对每个K∈K，存在一个Hash函数hx∈H，hp:X→)。

安全性

i.原像稳固 ii.第二原像稳固 iii.碰撞稳固