A GSS-API Mechanism for the BrowserID Authentication Protocol