Public key crypto is used in NGSCB for attestation. One concern with this approach is that anonymity might be lost. Recall that in Kerberos, Alice's anonymity is protected (e.g., when Alice sends her...

Public key crypto is used in NGSCB for attestation. One concern with this approach is that anonymity might be lost. Recall that in Kerberos, Alice's anonymity is protected (e.g., when Alice sends her TGT to the KDC, she doesn't need to identify herself). Since anonymity is a concern, would it make sense for NGSCB to use an approach similar to Kerberos?