authenticates

x authenticates y: The subject x establishes the authenticity of some y. This relation indicates an authentication event has occurred.