| http://www.w3.org/ns/prov#value | - On the program 3 side, the value of the common key ck generated as a result of the key exchange is encrypted by using the data key K32 of the program 3 and written into the secret data region 112 which cannot be read by anything other than the program 3.
|