OSG Information Management System and PKI user interface