Related Experiment Video
Updated: Aug 5, 2025
08:15
Data Communication Based on MQTT in a Polymer Extrusion Process
Published on: July 15, 2022
3.5K
Formal Analysis of Trust and Reputation for Service Composition in IoT
Abdelmuttlib Ibrahim Abdalla Ahmed1, Siti Hafizah Ab Hamid2, Abdullah Gani1,3
1Department of Computer System and Technology, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur 50603, Malaysia.
Sensors (Basel, Switzerland)
|March 30, 2023
Summary
The Internet of Things (IoT) faces interoperability challenges. This study introduces a formal method for trust-based service composition in IoT, revealing how malicious nodes bias trust computations and lead to poor service provider selection.
Area of Science:
- Computer Science
- Network Engineering
- Cybersecurity
Background:
- The proliferation of Internet of Things (IoT) devices introduces significant interoperability challenges.
- Service-oriented architecture for IoT (SOA-IoT) aims to address these issues by integrating web services.
- Service composition, particularly trust-based approaches, is crucial for selecting reliable service providers.
Purpose of the Study:
- To address the lack of formal methods for trust-based service composition in IoT.
- To represent and verify trust-based service management components using higher-order logic (HOL).
- To analyze the impact of malicious nodes on trust value computation and service provider selection.
Main Methods:
- Utilized higher-order logic (HOL) for formal representation of trust-based service management in IoT.
- Verified the behaviors within the trust system and trust value computation processes.
- Investigated the effects of trust attacks by malicious nodes.
Main Results:
- Formal analysis confirmed that malicious nodes can introduce bias in trust value computations.
- Biased trust values lead to the selection of inappropriate service providers during composition.
- Identified vulnerabilities in existing trust systems within IoT environments.
Conclusions:
- A formal method provides critical insights into the robustness of trust systems in IoT.
- The findings highlight the need for developing more resilient trust mechanisms against attacks.
- This research aids in the creation of more secure and reliable IoT service composition.
Related Concept Videos
02:16Stereotype Content Model
14.8K
The Stereotype Content Model (SCM) was first proposed by Susan Fiske and her colleagues (Fiske, Cuddy, Glick & Xu, 2002; see also Fiske, 2012 and Fiske, 2017). The SCM specifies that when someone encounters a new group, they will stereotype them based on two metrics: warmth—or that group’s perceived intent, and how likely they are to provide help or inflict harm—and competence—or their ability to carry out that objective. Depending on the warmth-competence...
14.8K
01:29Issues And Trends In Healthcare Delivery System
5.7K
The issues and trends in healthcare delivery are constantly changing. The COVID-19 pandemic is one recent issue that wreaked havoc on healthcare systems, causing a shortage of healthcare workers, high demand for medicines and supplies, and increased medical expenditure due to a lack of insurance. Other issues include rising healthcare costs and care fragmentation.
Cost Containment
Payment for healthcare services has historically promoted adoption of costly and often unnecessary or inefficient...
Cost Containment
Payment for healthcare services has historically promoted adoption of costly and often unnecessary or inefficient...
5.7K
01:25Distribution Reliability and Automation
140
Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
140
02:06Social Exchange Theory
34.6K
We have discussed why we form relationships, what attracts us to others, and different types of love. But what determines whether we are satisfied with and stay in a relationship? One theory that provides an explanation is social exchange theory. According to social exchange theory, we act as naïve economists in keeping a tally of the ratio of costs and benefits of forming and maintaining a relationship with others (Rusbult & Van Lange, 2003).
34.6K
00:52Social Proof
27.7K
Social proof is a form of persuasion based on comparison and conformity. People compare their behavior and actions to what others are doing and will change to conform to do what their peers do.
27.7K
01:26Types of Reports III: Telephone and Verbal Reports
789
Telephone and Verbal Reports in healthcare settings are two communication methods for conveying therapeutic instructions from healthcare providers to nurses or other healthcare staff.
Here's an overview of each type:
Telephone Orders
Here's an overview of each type:
Telephone Orders
789