Rapport technique

Model Checking Access Control in Business Workflow

Dury, A., Boroday, S., Petrenko, A., Lotz, V. Model Checking Access Control in Business Workflow. Montreal, CRIM, 2006. 68 p. . [CRIM-06/10-11]