A new software engineer has been hired. As part of the normal hiring process, the user was added to the Active Directory and placed into the Domain Users group and the SW_DEV group. The Domain Users group has access to the company's intranet website and time card system. The SW_DEV group has access to the source code library server. You have created roles that correspond to each Active Directory group. The user calls the help desk stating that they cannot access the source code library server. Which two troubleshooting tools would you use on the Junos Pulse Access Control Service to resolve the issue?（）

• A、Perform a policy trace for the specific user and review the output to isolate the problem.
• B、Review the Events log.
• C、Review the Admin Access log to verify that the user has the correct permissions to access the SVVJDEV resource.
• D、Review the User Access log to verify that the user is getting mapped to both the Domain User role and the SW_DEV role.