![]() | Up a level |
Barkaoui, K., Ben Ayed, R., Boucheneb, H., & Hicheur, A. (2008, October). Verification of workflow processes under multilevel security considerations [Paper]. 3rd International Conference on Risks and Security of Internet and Systems (CRiSIS 2008). External link