Farah Zoubeyr

A Valid and Correct-by-Construction Formal Specification of RBAC

Farah Zoubeyr, Abdelkamel Tari, Hania Gadouche, 2020, Int. J. Inf. Secur. Priv..

Backward validation of communicating complex state machines in web services environments

Farah Zoubeyr, Abdelkamel Tari, Aris M. Ouksel, 2010, Distributed and Parallel Databases.