OpenID is an open, decentralized, free framework for user-centric digital identity.
OpenID starts with the concept that anyone can identify themselves on the Internet the same way websites do-with a URI (also called a URL or web address). Since URIs are at the very core of Web architecture, they provide a solid foundation for user-centric identity.
M. Sheeran, and G. St\aalmarck. Proceedings 2nd Intl.\ Conf.\ on Formal Methods in
Computer-Aided Design, FMCAD'98, Palo Alto, CA, USA,
4--6 Nov 1998, Springer-Verlag, Berlin, (1998)