Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur. Verification of Workflow processes under multilevel security considerations. In Mohamed Jmaiel, Mohamed Mosbah, editors, CRiSIS 08, Third International Conference on Risks and Security of Internet and Systems, Tozeur, Tunesia, October 28-30, 2008. pages 77-84, IEEE, 2008. [doi]
Abstract is missing.