Prohibiting unauthorized access to critical resources and data has become a major
requirement for enterprises; access control (AC) mechanisms manage requests from users …

Nowadays, almost any software application deals with private information. However,
effective tools that support the specification and implementation of privacy-aware systems …

Objective: This article objective is to model authorization process from role-based access
control (RBAC) using restrict mode features (separation of duties (SoD) implementation) via …

Abstract: Web applications often use Role-Based Access Control (RBAC) to restrict
operations and protect security sensitive information and resources. Context: Web …

Role-Based Access Control (RBAC) is commonly used in web applications to protect
information and restrict operations. Their security may be affected by source code changes …

Role-Based Access Control (RBAC) is often used in web applications to restrict operations
and protect security sensitive information and resources. Web applications regularly …

The early detection of potential threats during the modelling and design phase of a Secure
Information System is required because it favours the design of a robust access control …

The early detection of potential threats during the modelling phase of a Secure Information
System is required because it favours the design of a robust access control policy and the …

My research works are dedicated to the integration of two well known paradigms: Formal
Methods (FM) and Model-Driven Engineering (MDE). This integration is called Formal MDE …

Genetic Algorithm (GA) is widely known as a general-purpose optimization method, which
can provide sub-optimum solutions for various. optimization problems by means of modeling …