Assertion: smart card's certificate | /r/HasProperty | time
Facets:
Source sentences:
text: The KDC validates the user's certificate (time, path, and revocation status) to ensure that the certificate is from a trusted source.