Verification of Access Control Policies for REA Business Processes. - Vahid R. Karimi; Donald D. Cowan (COMPSAC (2), 2009)

Access Control Models for Business Processes. - Vahid R. Karimi; Donald D. Cowan (SECRYPT, 2010)

An approach to correctness of security and operational business policies. - Vahid R. Karimi; Donald D. Cowan; Paulo S. C. Alencar (Int. J. Account. Inf. Syst., 2014)

A uniform approach for access control and business models with explicit rule realization. - Vahid R. Karimi; Paulo S. C. Alencar; Donald D. Cowan (Int. J. Inf. Sec., 2016)

A formal modeling and analysis approach for access control rules, policies, and their combinations. - Vahid R. Karimi; Paulo S. C. Alencar; Donald D. Cowan (Int. J. Inf. Sec., 2017)