Renaming Digital Certificates in the TOP SECRET Database