Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning.

Jason Crampton, Michael Huth, Jim Huan-Pu Kuo

Browse the full CADE paper archive.