jasig cas-server，用于解决多个应用之间单点登录与注销。