A runtime database for users is maintained by User Registration on the primary server. This information is passed to User Registration on the secondary server.
More information
Automatic redundancy operation overview.