Maintaining The Functional Correctness Of The Pki-Otp System