private static String getKey(final String type, final String principal, final String timestamp) {
        return CAS_PREFIX + KEY_SEPARATOR + type + KEY_SEPARATOR + principal + KEY_SEPARATOR + timestamp;
    }
This is {@link RedisCasEventRepository} that stores event data into a redis database.

@author Misagh Moayyed
@since 6.4.0
support/cas-server-support-events-redis/src/main/java/org/apereo/cas/support/events/redis/RedisCasEventRepository.java