Which of the following protocols is the default protocol that Active Directory uses to authenticate domain users?