Inspec keywords: authorisation; formal specification; trusted computing; message authentication

Other keywords: TPM protected storage; trusted platform module; object authorisation value; TPM2.0 specification; HMAC authorisation; ISO standard; session-bound secret value; hash message authentication code authorisation mechanism; SAPIC tool; encryption mechanisms; tamarin prover; TPM-resident key object; formal analysis; authValue; sessionKey; session-based authorisation mechanism

Subjects: Formal methods; Data security