Как только пользователь вводит свое имя пользователя и пароль, как мне аутентифицировать его на сервере CAS с использованием phpCAS?
У вас нет.Сервер CAS аутентифицирует учетные данные, а не библиотеку phpCAS.
Кроме того, как перенаправить пользователя на другую страницу .php?
Перенаправления контролируются начальнымсервисный параметр, который CAS будет использовать после выдачи билета.Оказавшись в этом месте, вы можете перенаправить в любое удобное для вас место.
Я пытаюсь понять, как аутентифицируется пользователь, используя это.
Стратегии аутентификацииопределяются внутри сервера CAS, который принимает предоставленные учетные данные и проверяет их по соответствующим источникам учетной записи.Вам, как клиенту, не нужно беспокоиться о том, как это происходит;только то, что это происходит, и что вам предоставили билет, и что вам нужно его проверить;задача, которую клиентская библиотека CAS делает для вас.