Specification of PGPAuth