Abstract Accountability Language: Translation, Compliance and Application.

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

Browse the full APSEC paper archive.