| http://www.w3.org/ns/prov#value | - When a message is received by the user including the session key enciphered under a cross-domain key then if the enciphered session key has been changed for any reason, the message authentication code calculated on the changed session key will not be the same as the received message authentication code (MAC).
|