{"id":"https://openalex.org/W4327736919","doi":"https://doi.org/10.3390/s23063192","title":"Formal Analysis of Trust and Reputation for Service Composition in IoT","display_name":"Formal Analysis of Trust and Reputation for Service Composition in IoT","publication_year":2023,"publication_date":"2023-03-16","ids":{"openalex":"https://openalex.org/W4327736919","doi":"https://doi.org/10.3390/s23063192","pmid":"https://pubmed.ncbi.nlm.nih.gov/36991903"},"language":"en","primary_location":{"id":"doi:10.3390/s23063192","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s23063192","pdf_url":"https://www.mdpi.com/1424-8220/23/6/3192/pdf?version=1678973235","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1424-8220/23/6/3192/pdf?version=1678973235","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049875605","display_name":"Abdelmuttlib Ibrahim Abdalla Ahmed","orcid":"https://orcid.org/0000-0003-2966-097X"},"institutions":[{"id":"https://openalex.org/I33849332","display_name":"University of Malaya","ror":"https://ror.org/00rzspn62","country_code":"MY","type":"education","lineage":["https://openalex.org/I33849332"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Abdelmuttlib Ibrahim Abdalla Ahmed","raw_affiliation_strings":["Department of Computer System and Technology, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur 50603, Malaysia"],"affiliations":[{"raw_affiliation_string":"Department of Computer System and Technology, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur 50603, Malaysia","institution_ids":["https://openalex.org/I33849332"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001320706","display_name":"Siti Hafizah Ab Hamid","orcid":"https://orcid.org/0000-0001-9598-8813"},"institutions":[{"id":"https://openalex.org/I33849332","display_name":"University of Malaya","ror":"https://ror.org/00rzspn62","country_code":"MY","type":"education","lineage":["https://openalex.org/I33849332"]}],"countries":["MY"],"is_corresponding":true,"raw_author_name":"Siti Hafizah Ab Hamid","raw_affiliation_strings":["Department of Software Engineering, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur 50603, Malaysia"],"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur 50603, Malaysia","institution_ids":["https://openalex.org/I33849332"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091401182","display_name":"Abdullah Gani","orcid":"https://orcid.org/0000-0002-4388-020X"},"institutions":[{"id":"https://openalex.org/I161371597","display_name":"Universiti of Malaysia Sabah","ror":"https://ror.org/040v70252","country_code":"MY","type":"education","lineage":["https://openalex.org/I161371597"]},{"id":"https://openalex.org/I33849332","display_name":"University of Malaya","ror":"https://ror.org/00rzspn62","country_code":"MY","type":"education","lineage":["https://openalex.org/I33849332"]}],"countries":["MY"],"is_corresponding":true,"raw_author_name":"Abdullah Gani","raw_affiliation_strings":["Department of Computer System and Technology, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur 50603, Malaysia","Faculty of Computing and Informatics, Universiti Malaysia Sabah (UMS), Kota Kinabalu 88400, Malaysia"],"affiliations":[{"raw_affiliation_string":"Department of Computer System and Technology, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur 50603, Malaysia","institution_ids":["https://openalex.org/I33849332"]},{"raw_affiliation_string":"Faculty of Computing and Informatics, Universiti Malaysia Sabah (UMS), Kota Kinabalu 88400, Malaysia","institution_ids":["https://openalex.org/I161371597"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071792860","display_name":"Ahmed Abdelaziz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210150363","display_name":"Al Khawarizmi International College","ror":"https://ror.org/04s2w8b69","country_code":"AE","type":"education","lineage":["https://openalex.org/I4210150363"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Ahmed Abdelaziz","raw_affiliation_strings":["Khawarizmi International College, Abu Dhabi P.O. Box 25669, United Arab Emirates"],"affiliations":[{"raw_affiliation_string":"Khawarizmi International College, Abu Dhabi P.O. Box 25669, United Arab Emirates","institution_ids":["https://openalex.org/I4210150363"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042796984","display_name":"Mohammed Abaker","orcid":"https://orcid.org/0000-0001-8546-9470"},"institutions":[{"id":"https://openalex.org/I82952536","display_name":"King Khalid University","ror":"https://ror.org/052kwzs30","country_code":"SA","type":"education","lineage":["https://openalex.org/I82952536"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Mohammed Abaker","raw_affiliation_strings":["Department of Computer Science, Applied College, King Khalid University, Muhayil 61913, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Applied College, King Khalid University, Muhayil 61913, Saudi Arabia","institution_ids":["https://openalex.org/I82952536"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5001320706","https://openalex.org/A5091401182"],"corresponding_institution_ids":["https://openalex.org/I161371597","https://openalex.org/I33849332"],"apc_list":{"value":2400,"currency":"CHF","value_usd":2598},"apc_paid":{"value":2400,"currency":"CHF","value_usd":2598},"fwci":1.8266,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.87415925,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"23","issue":"6","first_page":"3192","last_page":"3192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.741549015045166},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.636044979095459},{"id":"https://openalex.org/keywords/trust-anchor","display_name":"Trust anchor","score":0.5958999991416931},{"id":"https://openalex.org/keywords/trust-management","display_name":"Trust management (information system)","score":0.5945484638214111},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.5541380047798157},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.545674204826355},{"id":"https://openalex.org/keywords/computational-trust","display_name":"Computational trust","score":0.5447706580162048},{"id":"https://openalex.org/keywords/reputation","display_name":"Reputation","score":0.5119119882583618},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.5076373815536499},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4921945631504059},{"id":"https://openalex.org/keywords/service-provider","display_name":"Service provider","score":0.44792577624320984},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.43987634778022766},{"id":"https://openalex.org/keywords/service-discovery","display_name":"Service discovery","score":0.42238155007362366},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.17523077130317688}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.741549015045166},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.636044979095459},{"id":"https://openalex.org/C154800190","wikidata":"https://www.wikidata.org/wiki/Q16941470","display_name":"Trust anchor","level":4,"score":0.5958999991416931},{"id":"https://openalex.org/C2776384856","wikidata":"https://www.wikidata.org/wiki/Q17145767","display_name":"Trust management (information system)","level":2,"score":0.5945484638214111},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.5541380047798157},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.545674204826355},{"id":"https://openalex.org/C160521178","wikidata":"https://www.wikidata.org/wiki/Q5157345","display_name":"Computational trust","level":3,"score":0.5447706580162048},{"id":"https://openalex.org/C48798503","wikidata":"https://www.wikidata.org/wiki/Q877546","display_name":"Reputation","level":2,"score":0.5119119882583618},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5076373815536499},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4921945631504059},{"id":"https://openalex.org/C116537","wikidata":"https://www.wikidata.org/wiki/Q2169973","display_name":"Service provider","level":3,"score":0.44792577624320984},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.43987634778022766},{"id":"https://openalex.org/C144097018","wikidata":"https://www.wikidata.org/wiki/Q4329404","display_name":"Service discovery","level":3,"score":0.42238155007362366},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.17523077130317688},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.3390/s23063192","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s23063192","pdf_url":"https://www.mdpi.com/1424-8220/23/6/3192/pdf?version=1678973235","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},{"id":"pmid:36991903","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/36991903","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:10059767","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/10059767","pdf_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC10059767/pdf/sensors-23-03192.pdf","source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors (Basel)","raw_type":"Text"},{"id":"pmh:oai:doaj.org/article:bbbc0780f7d8439fbfcfa9541ca476d5","is_oa":true,"landing_page_url":"https://doaj.org/article/bbbc0780f7d8439fbfcfa9541ca476d5","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors, Vol 23, Iss 6, p 3192 (2023)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1424-8220/23/6/3192/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/s23063192","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors; Volume 23; Issue 6; Pages: 3192","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/s23063192","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s23063192","pdf_url":"https://www.mdpi.com/1424-8220/23/6/3192/pdf?version=1678973235","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320324433","display_name":"King Khalid University","ror":"https://ror.org/052kwzs30"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4327736919.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1490117225","https://openalex.org/W1594217289","https://openalex.org/W1601229356","https://openalex.org/W1659289657","https://openalex.org/W1678720059","https://openalex.org/W1978888005","https://openalex.org/W2034419870","https://openalex.org/W2048733507","https://openalex.org/W2059874241","https://openalex.org/W2061920251","https://openalex.org/W2073552833","https://openalex.org/W2087092764","https://openalex.org/W2093162073","https://openalex.org/W2122516858","https://openalex.org/W2133074729","https://openalex.org/W2168895415","https://openalex.org/W2225260683","https://openalex.org/W2237012141","https://openalex.org/W2313273281","https://openalex.org/W2317156622","https://openalex.org/W2348240446","https://openalex.org/W2542747939","https://openalex.org/W2623958973","https://openalex.org/W2742665190","https://openalex.org/W2884118832","https://openalex.org/W2904905394","https://openalex.org/W2912441624","https://openalex.org/W2942157335","https://openalex.org/W2990029178","https://openalex.org/W4214891036"],"related_works":["https://openalex.org/W4243605140","https://openalex.org/W2495963281","https://openalex.org/W4385687966","https://openalex.org/W2509590646","https://openalex.org/W2940914837","https://openalex.org/W2170496240","https://openalex.org/W2916013893","https://openalex.org/W1579892909","https://openalex.org/W2339500151","https://openalex.org/W2300110045"],"abstract_inverted_index":{"The":[0,64,97,135,160,276],"exponential":[1],"growth":[2],"in":[3,100,193,204,225,238,268,291],"the":[4,11,56,116,131,148,151,156,164,168,171,194,205,214,219,226,235,239,243,252,273,292],"number":[5],"of":[6,13,67,170,221,254,294],"smart":[7,22],"devices":[8],"connected":[9],"to":[10,38,54,71,85,124,187,261],"Internet":[12],"Things":[14],"(IoT)":[15],"that":[16,105,251],"are":[17],"associated":[18],"with":[19,40,150,189],"various":[20],"IoT-based":[21],"applications":[23],"and":[24,61,95,118,137,146,175,233,242,285],"services,":[25],"raises":[26],"interoperability":[27,42],"challenges.":[28],"Service-oriented":[29],"architecture":[30],"for":[31,130,155,200,217],"IoT":[32,206],"(SOA-IoT)":[33],"solutions":[34,183],"has":[35,90,279],"been":[36,83,91,185],"introduced":[37],"deal":[39,188],"these":[41],"challenges":[43],"by":[44,228],"integrating":[45],"web":[46],"services":[47],"into":[48,75],"sensor":[49],"networks":[50],"via":[51],"IoT-optimized":[52],"gateways":[53],"fill":[55],"gap":[57],"between":[58],"devices,":[59],"networks,":[60],"access":[62],"terminals.":[63],"main":[65],"aim":[66],"service":[68,78,87,112,127,132,157,172,177,191,202,223,274],"composition":[69,113,133,158,192,203],"is":[70,207],"transform":[72],"user":[73],"requirements":[74],"a":[76,122,197,282,295],"composite":[77],"execution.":[79],"Different":[80],"methods":[81],"have":[82,103,184],"used":[84,213],"perform":[86],"composition,":[88],"which":[89,266,288],"classified":[92],"as":[93,121],"trust-based":[94,106,190,201,222],"non-trust-based.":[96],"existing":[98],"studies":[99],"this":[101,210],"field":[102],"reported":[104],"approaches":[107,114],"outperform":[108],"non-trust-based":[109],"ones.":[110],"Trust-based":[111],"use":[115],"trust":[117,136,144,153,161,165,240,244,258,263,297],"reputation":[119,138],"system":[120,139,162,241],"brain":[123],"select":[125],"appropriate":[126],"providers":[128],"(SPs)":[129],"plan.":[134,159],"computes":[140,163],"each":[141],"candidate":[142],"SP's":[143],"value":[145,154,166,245,264],"selects":[147],"SP":[149,270],"highest":[152],"from":[167],"self-observation":[169],"requestor":[173],"(SR)":[174],"other":[176],"consumers'":[178],"(SCs)":[179],"recommendations.":[180],"Several":[181],"experimental":[182],"proposed":[186],"IoT;":[195],"however,":[196],"formal":[198,215,277],"method":[199,216],"lacking.":[208],"In":[209],"study,":[211],"we":[212],"representing":[218],"components":[220],"management":[224],"IoT,":[227],"using":[229],"higher-order":[230],"logic":[231],"(HOL)":[232],"verifying":[234],"different":[236],"behaviors":[237],"computation":[246],"processes.":[247],"Our":[248],"findings":[249],"showed":[250],"presence":[253],"malicious":[255],"nodes":[256],"performing":[257],"attacks":[259],"leads":[260],"biased":[262],"computation,":[265],"results":[267],"inappropriate":[269],"selection":[271],"during":[272],"composition.":[275],"analysis":[278],"given":[280],"us":[281],"clear":[283],"insight":[284],"complete":[286],"understanding,":[287],"will":[289],"assist":[290],"development":[293],"robust":[296],"system.":[298]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}