law cmac_accepts

bend-osdev-crypto@0.1.0.0 · LAWS.bend:188

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-osdev-crypto@0.1.0.0/inst_cmac.bend as CMI

188law cmac_accepts:
189  for ~K: Data
190  for ~enc: K -> M.CmBlock -> M.CmBlock
191  for +k: K
192  for +m: B.Octets
193  {CMI.CrCmac.verify(~K, ~enc, k, m, CMI.CrCmac.mac(~K, ~enc, k, m)) == True{} : Bool}