I think your best option is the first of nedrudrelyt's suggestions. Remove the "Domain Users" group from the local system Users group, and just add the specific user you want to have access. Better still, create a domain group and replace the Domain Users with the domain group - that way you can easily add and remove users to the list of authorized users later on.