On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals