Abstract The Internet of Things (IoT) signifies to an overall system of interconnected physical
Things utilizing existing correspondence conventions. One critical inquiry remains in what …

Cloud computing as a new internet-based computing model provides different resources as
a service dynamically. Today, cloud computing is actually one of the main improvements in …

Cloud computing is a new platform to manage and provide services on the internet. Lately,
researchers have paid attention a lot to this new subject. One of the reasons to have high …

While modeling trust in multi-agent systems provides a fundamental basis for promoting safe
interactions and imitating agents reasoning mechanisms, exploiting model checking …

In recent years, users are becoming increasingly accustomed to using the Internet to gain
software resources in the form of web services provided by information technology …

In today's world of connectivity, various domains use different multi-sensor Internet of Things
(IoT) and Intelligent Systems (IS) applications. These applications involve extensive …

Today, service composition is emerging paradigm on the communication networks such as
cloud environments, internet of things, wireless sensor network, and software‐defined …

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 …

Several formal trust frameworks have been introduced in the area of Multi-Agent Systems
(MASs). However, the problem of model checking trust logics is still a challenging research …

Blockchain systems based on smart contracts are critical systems that have to be verified in
order to ensure their reliability and efficiency. Verifying these systems is a major challenge …