@article{gaaloul:hal-00677854, TITLE = {{A logical framework for reasoning about delegation policies in workflow management systems}}, AUTHOR = {Gaaloul, Khaled and Proper, Erik H.A. and Zahoor, Ehtesham and Charoy, Fran{\c c}ois and Godart, Claude}, URL = {https://inria.hal.science/hal-00677854}, JOURNAL = {{International Journal of Information and Computer Security}}, PUBLISHER = {{Inderscience}}, VOLUME = {4}, NUMBER = {4}, PAGES = {365-388}, YEAR = {2011}, MONTH = Dec, DOI = {10.1504/IJICS.2011.044825}, KEYWORDS = {reasoning tools ; workflow management ; task delegation ; access control ; authorisation policy ; event calculus ; business process security ; reasoning tools.}, PDF = {https://inria.hal.science/hal-00677854/file/IJICS040405_GAALOUL.pdf}, HAL_ID = {hal-00677854}, HAL_VERSION = {v1}, }