A strict inter-domain anonymity attestation scheme

In this paper, we propose a strict inter-domain anonymity attestation scheme. We modify the original direct anonymous attestation protocol to provide strict anonymity attestation when the prover and the verifier are in different trusted domains. We introduce a new trusted party Trusted Auditor (TA). We show how to use the TA to prove the “trustworthiness” of an individual DAA Issuer and verify the signature from the prover in a different domain as well as to make the prover be able to join another trusted domain. We use the ideal-system/real-system model to prove the security of the protocol.