Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZeFatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir BouhamedPages 1-52024Other Closed accessSeveral sources 3
Development of Critical Systems with UML/OCL and FoCaLiZeMessaoud Abbas, Fatima Haloua, Ammar BoucheritCommunications in computer and information sciencePages 16-302021Other Closed access 1