Secret Public Key Protocols Revisited