Verification of Access Control Policies for REA Business Processes.

Vahid R. Karimi, Donald D. Cowan

Browse the full COMPSAC paper archive.