what is the role of a directory server in pki?