Abdelmuttlib Ibrahim Abdalla Ahmed and Siti Hafizah Ab Hamid and Abdullah Gani and Ahmed Abdelaziz and Mohammed Abaker (2023) Formal Analysis of Trust and Reputation for Service Composition in IoT. Sensors, 23. pp. 1-14.
![[img]](https://eprints.ums.edu.my/style/images/fileicons/text.png) |
Text
ABSTRACT.pdf Download (41kB) |
|
Text
FULL TEXT.pdf Restricted to Registered users only Download (2MB) | Request a copy |
Abstract
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 interoperability challenges. Service-oriented architecture for IoT (SOA-IoT) solutions has been introduced to deal with these interoperability challenges by integrating web services into sensor networks via IoToptimized gateways to fill the gap between devices, networks, and access terminals. The main aim of service composition is to transform user requirements into a composite service execution. Different methods have been used to perform service composition, which has been classified as trust-based and non-trust-based. The existing studies in this field have reported that trust-based approaches outperform non-trust-based ones. Trust-based service composition approaches use the trust and reputation system as a brain to select appropriate service providers (SPs) for the service composition plan. The trust and reputation system computes each candidate SP’s trust value and selects the SP with the highest trust value for the service composition plan. The trust system computes the trust value from the self-observation of the service requestor (SR) and other service consumers’ (SCs) recommendations. Several experimental solutions have been proposed to deal with trust-based service composition in the IoT; however, a formal method for trust-based service composition in the IoT is lacking. In this study, we used the formal method for representing the components of trustbased service management in the IoT, by using higher-order logic (HOL) and verifying the different behaviors in the trust system and the trust value computation processes. Our findings showed that the presence of malicious nodes performing trust attacks leads to biased trust value computation, which results in inappropriate SP selection during the service composition. The formal analysis has given us a clear insight and complete understanding, which will assist in the development of a robust trust system.
| Item Type: | Article |
|---|---|
| Keyword: | service; service composition; IoT |
| Subjects: | Q Science > QA Mathematics > QA1-939 Mathematics > QA71-90 Instruments and machines > QA75.5-76.95 Electronic computers. Computer science T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK1-9971 Electrical engineering. Electronics. Nuclear engineering > TK5101-6720 Telecommunication Including telegraphy, telephone, radio, radar, television |
| Department: | FACULTY > Faculty of Computing and Informatics |
| Depositing User: | ABDULLAH BIN SABUDIN - |
| Date Deposited: | 24 Nov 2023 15:21 |
| Last Modified: | 24 Nov 2023 15:21 |
| URI: | https://eprints.ums.edu.my/id/eprint/37669 |
Actions (login required)
 |
View Item |