An authentication token generator