Cloud computing relies on sharing computing resources. With high availability and
accessibility of resources, cloud computing is under the threat of major cyber-attacks. To …

Secure authentication is a vital component for device security. The most basic form of
authentication is by using passwords. With the evolution of smart devices, selecting stronger …

This research article proposes a novel approach called Distributed Reconfigurable B to
specify and verify distributed reconfigurable control systems using B method …

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 development of complex software systems as done today generates countless security
vulnerabilities that are difficult to detect. In this context, several research works have adopted …

L'ouverture des organisations et de leurs Systèmes d'Information (SI) pose le problème de
leur sécurité. La définition d'une politique de contrôle d'accès est l'une des principales …

It is difficult to ensure the relationship between the selected security solutions and the
security concerns in software architecture design. Assuring this analysis manually is labor …

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 …

A search engine that supports finding precise biomedical statements, but also
complementary, and contrasting information would greatly help biomedical researchers. We …

Our society has become more dependent on software-intensive systems, such as
Information and Communication Technologies (ICTs) systems, to perform their daily tasks …