OpenID and the Enterprise: A Model-Based Analysis of Single Sign-On Authentication | IEEE Conference Publication | IEEE Xplore