我们在 Nginx 服务器中使用 EXT JS 部署了前端，Nginx 服务器使用反向代理从 JBOSS 服务器（spring MVC 休息服务）获取数据。
我们已经在 tomcat 服务器中部署了 Jasig CAS 应用程序，并为 CAS 身份验证配置了我们的 JBOSS 服务器。到目前为止，一切都很好。
由于用户在 EXT JS 表单中输入数据，所以我们应该在 nginx 服务器级别启用 SSL。此外，当用户未登录时，我们必须将用户重定向到 CAS 登录屏幕。我们该怎么做？
一种方法是检查 nginx 中的 cookie 进行身份验证，如果 cookie 不可用，则重定向到 cas 登录屏幕。这是正确的做法吗？
有 nginx 和 CAS 集成的用户指南吗？