On his side Bob performs the same computation; if and only if both values match, the login is successful.
Bob performs the same computation;. This is on his side. The login is successful. Both values match.