Cryptographic protocols involving partially trusted third parties