You can query the ticket registry to find the active single sign-on sessions for a given CAS principal.

Date Ticket-Granting Ticket Client IP User Agent Usage Remember Me Attributes

You can query the Spring Session repository to find the active Spring sessions for a given CAS principal.

ID Creation Date Last Accessed Date Idle Time Max Inactive Attributes