Specification and automatic verification of trust-based multi-agent systems

N Drawel, H Qu, J Bentahar, E Shakshuki - Future Generation Computer …, 2020 - Elsevier
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 …

A simulation software for the evaluation of vulnerabilities in reputation management systems

V Agate, AD Paola, GL Re, M Morana - ACM Transactions on Computer …, 2021 - dl.acm.org
Multi-agent distributed systems are characterized by autonomous entities that interact with
each other to provide, and/or request, different kinds of services. In several contexts …

Robustness evaluation of trust and reputation systems using a deep reinforcement learning approach

AJ Bidgoly, F Arabi - Computers & Operations Research, 2023 - Elsevier
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 …

A comprehensive soft security model for Cognitive Internet of Things

MNZ Abadi, AJ Bidgoly, Y Farjami, EH Khani - Internet of Things, 2023 - Elsevier
Abstract The Cognitive Internet of Things (CIoT) is a rapidly evolving field that combines
artificial intelligence (AI) with the Internet of Things (IoT) ecosystem. By augmenting IoT with …

Formal analysis of trust and reputation for service composition in iot

AIA Ahmed, SHA Hamid, A Gani, A Abdelaziz… - Sensors, 2023 - mdpi.com
The exponential growth in the number of smart devices connected to the Internet of Things
(IoT) that are associated with various IoT-based smart applications and services, raises …

A novel approach to determining the three-dimensional location of microscopic objects with applications to 3D particle tracking

S Ram, J Chao, P Prabhat, ES Ward… - … Image Acquisition and …, 2007 - spiedigitallibrary.org
Recent technological advances have rendered widefield fluorescence microscopy as an
invaluable tool to image fast dynamics of trafficking events in two dimensions (ie, in the …

Modeling trust and reputation systems in hostile environments

SA Ghasempouri, BT Ladani - Future Generation Computer Systems, 2019 - Elsevier
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 …

Probabilistic analysis of trust based decision making in hostile environments

AJ Bidgoly - Knowledge-Based Systems, 2021 - Elsevier
Trust and reputation systems are one of the most important tools for decision making which
are able to predict the reliability of an agent, taking into account the past experience and …

Reasoning about trust and time in a system of agents

N Drawel, J Bentahar, E Shakshuki - Procedia Computer Science, 2017 - Elsevier
The study of trust in Multi-Agent Systems (MASs) has been an area of interest for many
researchers over the last years. This is due to the fact that trust is the basis for agent …

A novel reward and penalty trust evaluation model based on confidence interval using Petri Net

A Mohsenzadeh, AJ Bidgoly, Y Farjami - Journal of Network and Computer …, 2020 - Elsevier
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 …