Checking Accountability with a Prover.

Walid Benghabrit, Herv Grall, Jean-Claude Royer, Mohamed Sellami

Browse the full COMPSAC paper archive.