Verification of Workflow processes under multilevel security considerations.

Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur

Browse the full CRiSIS paper archive.