-- KeyEncryption


package javacardx::crypto


context KeyEncryption def:
   let cipher: Cipher


context KeyEncryption::getKeyCipher(): Cipher
  pre : true
  post: result = cipher


context KeyEncrytpion::setKeyCipher(keyCipher: Cipher)
  pre : true
  post: cipher = keyCipher


endpackage