Deadlock control approaches based on Petri nets are usually implemented by adding
control places and related arcs to the Petri net model of a system. The main disadvantage of …

We present a new logic-based framework for modeling and automatically verifying trust in
Multi-Agent Systems (MASs). We start by refining TCTL, a temporal logic of trust that extends …

Trust and reputation systems are classes of decision support tools which help detecting
malicious behavior based on collecting ratings and opinions. Despite their advantages …

One of the biggest challenges facing trust and reputation systems (TRSs) is evaluating their
ability to withstand various attacks, as these systems are vulnerable to multiple types of …

In many modern network environments, agents of the system have to select optimal service
providers who in turn decide to provide different quality of services. This is while …

In recent years, trust and reputation systems have gained much interest in many
environments, such as e-market-places, web services, ad-hoc networks and multi-agent …

Nowadays, trust systems (TSs) are widely used for tackling dishonest entities in many
modern environments. However, these systems are vulnerable to some kinds of attacks …

High security of cloud computing is one of the most challenges to be addressed before the
novel pas-as-you-go business paradigm is widely applied over the internet. Trust brings a …

Trust brings a novel means to improve the security of entities. Entities potentially initiate
interactions with each other without having prior contacts. These interactions can either be …

Purpose Cloud eases information processing, but it holds numerous risks, including hacking
and confidentiality problems. It puts businesses at risk in terms of data security and …