Which of the following protocols is used to verify the status of a certificate?