Verifying trust over IoT-ad hoc network-based applications under uncertainty

Basit Öğe Kaydı
dc.authoridBentahar, Jamal/0000-0002-3136-4849
dc.contributor.authorBaharloo, Narges
dc.contributor.authorBentahar, Jamal
dc.contributor.authorAlwhishi, Ghalya
dc.contributor.authorDrawel, Nagat
dc.contributor.authorPedrycz, Witold
dc.date.accessioned2024-05-19T14:50:17Z
dc.date.available2024-05-19T14:50:17Z
dc.date.issued2024
dc.departmentİstinye Üniversitesien_US
dc.description.abstractThe rapid integration of the Internet of Things (IoT) with ad hoc networks offers significant advantages for revolutionizing smart environments. However, ensuring trust and reliability within these interconnected systems remains a significant challenge. To address this challenge, this paper introduces an innovative three valued (3v) trust model customized specifically for IoT-ad hoc systems. The model employs three-valued logic to evaluate trust in social commitments within ambiguous scenarios, where commitments serve as the foundation of the business logic. Our aim is to enhance the effectiveness and economic feasibility of IoT in smart environments. To advance this initiative, we introduce the 3v-TCTLC, a distinctive modeling language that extends the conventional two-valued logic by introducing a third value to accommodate uncertainty. This novel approach facilitates the assessment of trust in commitments within uncertain IoT-ad hoc environments. Additionally, we improve the functionality of the MACMAS-interactor tool, incorporating new features to support our 3v-TCTLC logic. Through two case studies in the domains of smart health monitoring and smart home systems, we validate our model against specific requirements in uncertain contexts. These case studies highlight the robustness and practicality of our proposed tools and methodologies. Compared to prevalent trust management strategies employed in IoT and ad-hoc networks, our methodology stands out distinctly. While many current solutions propose trust-centered protocols, with some even harnessing advanced technologies, they frequently overlook the crucial element of model checking. Our approach not only incorporates this critical component but also ensures the integrity of the system. Furthermore, even though the field of multi-valued model checking has seen advancements like chi CTL, our research contributes significantly by integrating trust and commitment verification specifically designed for IoT-ad hoc environments. Our empirical assessments in the domains of smart health and home systems confirm that our tool and strategies demonstrate superior performance in terms of time and space usage and better adaptability and scalability in uncertain scenarios, representing a noteworthy advancement over existing techniques and tools.en_US
dc.description.sponsorshipNatural Sciences and Engineering Research Council of Canada; Fonds de recherche du Quebec; Libyan-North American Scholarship Programen_US
dc.description.sponsorshipJamal Bentahar and Witold Pedrycz would like to thank the Natural Sciences and Engineering Research Council of Canada for their financial support through the Discovery Grant, and the Horizon Discovery Grant. Jamal Bentahar is also thanking the Fonds de recherche du Quebec. Ghalya Alwhishi is thanking the Libyan-North American Scholarship Program.en_US
dc.identifier.doi10.1016/j.adhoc.2023.103380
dc.identifier.issn1570-8705
dc.identifier.issn1570-8713
dc.identifier.scopus2-s2.0-85180955449en_US
dc.identifier.scopusqualityQ1en_US
dc.identifier.urihttps://doi.org10.1016/j.adhoc.2023.103380
dc.identifier.urihttps://hdl.handle.net/20.500.12713/5655
dc.identifier.volume154en_US
dc.identifier.wosWOS:001146012200001en_US
dc.identifier.wosqualityN/Aen_US
dc.indekslendigikaynakWeb of Scienceen_US
dc.indekslendigikaynakScopusen_US
dc.language.isoenen_US
dc.publisherElsevieren_US
dc.relation.ispartofAd Hoc Networksen_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.snmz20240519_kaen_US
dc.subjectTrusten_US
dc.subjectAd Hoc Networken_US
dc.subjectIoten_US
dc.subjectUncertaintyen_US
dc.subjectVerificationen_US
dc.subjectThree-Valued Model Checkingen_US
dc.subjectThree-Valued Logicen_US
dc.titleVerifying trust over IoT-ad hoc network-based applications under uncertaintyen_US
dc.typeArticleen_US

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu