Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZeFatima Haloua، Messaoud Abbas، Rachid Djerbi، Mohammed Mounir Bouhamedالصفحات 1-52024أخرى وصول مغلقعدّة مصادر 1
Development of Critical Systems with UML/OCL and FoCaLiZeMessaoud Abbas، Fatima Haloua، Ammar BoucheritCommunications in computer and information scienceالصفحات 16-302021أخرى وصول مغلق 1