I've followed Jasig's PHP CAS documentation and have successfully implemented their sample code found here (https://github.com/Jasig/phpCAS/blob/master/docs/examples/example_simple.php). This works well for a single page site, but I'm at a loss for how implement this for multiple pages. For example, how do I check if the user is authenticated on subsequent pages after successfully logging in? I thought I would just need to add this code to each of them but what I've found is that though it doesn't redirect me to our CAS signon page again, it does however generate a new unique session cookie for that subsequent page. Essentially, a unique session cookie is generated for each of the pages on my site. If it then try to log out (phpCAS::logout;) from one of these pages, only that page's unique session cookie is invalidated leaving the others active. Essentially I would need to call logout on every page.
When you break the big rules, you get a lot of little rules.