Generalized Certificate Revocation.

Carl A. Gunter, Trevor Jim

Browse the full POPL paper archive.