欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenID
OpenID is an open, decentralized, free framework for user-centric digital identity.
OpenID,中文我们称之为身份网址。 是互联网新一代的简单、开放、分布和安全的统一认证体系。 它可以让您直接使用所有支持OpenID的网站,而无须每次都要经过注册。
OpenID, 就中文名称来讲,就是采用您的独立拥有的URL地址作为您的身份认证,通常直接是采用您的域名或者第三方网站提供的网址直接作为您的身份网址, 如openid.yourdomain.com / yourname.openid.cn / yourname.myopenid.com 等等。这里说明怎样利用自己的域名作为OpenID.
下面这个链接,是目前许多OpenID认证服务提供商, 基本上都是国外的服务商:
http://openid.net/wiki/index.php/Public_OpenID_providers
推荐使用:
- myopenid.com
当然,您也可以自己建立一个OpenID认证服务器: http://www.openidenabled.com/openid/php-standalone-openid-server/
Install
获得 PHP Standalone OpenID Server
http://www.openidenabled.com/openid/php-standalone-openid-server/
获得 JanRain PHP OpenID library
http://www.openidenabled.com/openid/libraries/php
Requirements
1. A MySQL server, version 4.x or greater.
http://www.mysql.com/
2. PHP MySQL support
3. The JanRain, Inc. PHP OpenID library, version 1.1.0 or greater.
http://www.openidenabled.com/openid/libraries/php
4. The Smarty templating system, version 2.6 or later (may work with earlier versions; PLEASE contact us and let us know if it works on yours!)
http://smarty.php.net/
5. PEAR DB (to install, run "pear install db" as root)
6. PHP GD extension with FreeType support (this is used to render Captcha images)