Ping Identity Enables Single-Sign On for Public Agencies via Connect.Gov