语义安全

除了泄露消息长度，不会泄露关于明文的任何信息

密文和消息长度的效果相同

加上有一个额外信息 witness : $h(m)$

一个对称加密算法具备 不可取分加密，当且仅当它是语义安全的