CRED: Wrap task credential accesses in the HPFS filesystem