{"id":"https://openalex.org/W2992219376","doi":"https://doi.org/10.1109/access.2019.2955160","title":"A Secure Protocol for Remote-Code Integrity Attestation of Embedded Systems: The CSP Approach","display_name":"A Secure Protocol for Remote-Code Integrity Attestation of Embedded Systems: The CSP Approach","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2992219376","doi":"https://doi.org/10.1109/access.2019.2955160","mag":"2992219376"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2955160","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2955160","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08910543.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08910543.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055281771","display_name":"Abdo Ali Abdullah Al-Wosabi","orcid":"https://orcid.org/0000-0002-3655-8140"},"institutions":[{"id":"https://openalex.org/I885383172","display_name":"National University of Malaysia","ror":"https://ror.org/00bw8d226","country_code":"MY","type":"education","lineage":["https://openalex.org/I885383172"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Abdo Ali A. Al-Wosabi","raw_affiliation_strings":["Blockchain Centre, BIT Group Sdn Bhd, Cyberjaya, Malaysia","Center for Software Technology and Management (Softam), Faculty of Information Science and Technology (FTSM), Universiti Kebangsaan Malaysia (UKM), Bangi, Malaysia"],"raw_orcid":"https://orcid.org/0000-0002-3655-8140","affiliations":[{"raw_affiliation_string":"Blockchain Centre, BIT Group Sdn Bhd, Cyberjaya, Malaysia","institution_ids":[]},{"raw_affiliation_string":"Center for Software Technology and Management (Softam), Faculty of Information Science and Technology (FTSM), Universiti Kebangsaan Malaysia (UKM), Bangi, Malaysia","institution_ids":["https://openalex.org/I885383172"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027418901","display_name":"Zarina Shukur","orcid":"https://orcid.org/0000-0002-1096-5354"},"institutions":[{"id":"https://openalex.org/I885383172","display_name":"National University of Malaysia","ror":"https://ror.org/00bw8d226","country_code":"MY","type":"education","lineage":["https://openalex.org/I885383172"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Zarina Shukur","raw_affiliation_strings":["Center for Software Technology and Management (Softam), Faculty of Information Science and Technology (FTSM), Universiti Kebangsaan Malaysia (UKM), Bangi, Malaysia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Software Technology and Management (Softam), Faculty of Information Science and Technology (FTSM), Universiti Kebangsaan Malaysia (UKM), Bangi, Malaysia","institution_ids":["https://openalex.org/I885383172"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.15612389,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"7","issue":null,"first_page":"170238","last_page":"170269"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10734","display_name":"Information and Cyber Security","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.8534314632415771},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.5633596181869507},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.4916456341743469},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.47466424107551575},{"id":"https://openalex.org/keywords/trusted-computing","display_name":"Trusted Computing","score":0.44152674078941345},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4360949993133545},{"id":"https://openalex.org/keywords/cryptographic-nonce","display_name":"Cryptographic nonce","score":0.4284232556819916},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40260910987854004},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.2514403462409973}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8534314632415771},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.5633596181869507},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.4916456341743469},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.47466424107551575},{"id":"https://openalex.org/C2776831232","wikidata":"https://www.wikidata.org/wiki/Q966812","display_name":"Trusted Computing","level":2,"score":0.44152674078941345},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4360949993133545},{"id":"https://openalex.org/C9996903","wikidata":"https://www.wikidata.org/wiki/Q1749235","display_name":"Cryptographic nonce","level":3,"score":0.4284232556819916},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40260910987854004},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.2514403462409973},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2955160","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2955160","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08910543.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:9c63e94df4ac44d59d1c3e96efae0e69","is_oa":true,"landing_page_url":"https://doaj.org/article/9c63e94df4ac44d59d1c3e96efae0e69","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 170238-170269 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2955160","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2955160","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08910543.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.550000011920929,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1550552585","display_name":null,"funder_award_id":"AP-2017-003/2","funder_id":"https://openalex.org/F4320322699","funder_display_name":"Universiti Kebangsaan Malaysia"},{"id":"https://openalex.org/G38503098","display_name":null,"funder_award_id":"PRGS/1/2015/ICT01/UKM/01/1","funder_id":"https://openalex.org/F4320322699","funder_display_name":"Universiti Kebangsaan Malaysia"},{"id":"https://openalex.org/G6278897425","display_name":null,"funder_award_id":"AP-2017-003","funder_id":"https://openalex.org/F4320322699","funder_display_name":"Universiti Kebangsaan Malaysia"}],"funders":[{"id":"https://openalex.org/F4320322699","display_name":"Universiti Kebangsaan Malaysia","ror":"https://ror.org/00bw8d226"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2992219376.pdf","grobid_xml":"https://content.openalex.org/works/W2992219376.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W50116563","https://openalex.org/W153693658","https://openalex.org/W196025208","https://openalex.org/W1546692412","https://openalex.org/W1551910192","https://openalex.org/W1588668163","https://openalex.org/W1941531773","https://openalex.org/W1964825150","https://openalex.org/W1966709388","https://openalex.org/W1971977519","https://openalex.org/W1981331664","https://openalex.org/W1986700150","https://openalex.org/W1988299389","https://openalex.org/W1991552453","https://openalex.org/W1995089804","https://openalex.org/W1996455117","https://openalex.org/W1998719081","https://openalex.org/W2022936631","https://openalex.org/W2023052994","https://openalex.org/W2034802284","https://openalex.org/W2050362288","https://openalex.org/W2060689780","https://openalex.org/W2076438261","https://openalex.org/W2096025074","https://openalex.org/W2096219879","https://openalex.org/W2098621209","https://openalex.org/W2108330765","https://openalex.org/W2109584177","https://openalex.org/W2128510433","https://openalex.org/W2131867432","https://openalex.org/W2150189917","https://openalex.org/W2169227507","https://openalex.org/W2171020888","https://openalex.org/W2185634998","https://openalex.org/W2202715758","https://openalex.org/W2231962974","https://openalex.org/W2338920518","https://openalex.org/W2388447476","https://openalex.org/W2394966831","https://openalex.org/W2497009127","https://openalex.org/W2551767659","https://openalex.org/W2561974086","https://openalex.org/W2580986288","https://openalex.org/W2604129660","https://openalex.org/W2746394798","https://openalex.org/W2754533584","https://openalex.org/W2766233317","https://openalex.org/W2807841468","https://openalex.org/W2935170512","https://openalex.org/W4244824820","https://openalex.org/W4285719527","https://openalex.org/W4292144645","https://openalex.org/W6606172109","https://openalex.org/W6684416390","https://openalex.org/W6686812172","https://openalex.org/W6730602185","https://openalex.org/W6745358746"],"related_works":["https://openalex.org/W4392666870","https://openalex.org/W4386794377","https://openalex.org/W2954455763","https://openalex.org/W2967369616","https://openalex.org/W3047523978","https://openalex.org/W2353810166","https://openalex.org/W2147309075","https://openalex.org/W2098621209","https://openalex.org/W1968993179","https://openalex.org/W2024920884"],"abstract_inverted_index":{"No":[0],"doubt,":[1],"a":[2,45,72,76,100,104,136,144,148,158,163,168,191,295],"person":[3],"of":[4,18,111,255,311],"modern":[5],"society":[6],"relying":[7],"on":[8],"Embedded":[9],"Systems":[10],"(ESs)":[11],"has":[12,259],"increased":[13],"rapidly":[14],"and":[15,26,49,68,139,179,185,201,209,225,234,304,317,323,328],"the":[16,31,52,60,81,115,118,141,153,175,202,207,210,219,236,241,250,253,264,268,275,278,285,308,314,326,333],"era":[17],"digital":[19],"machines":[20],"is":[21,66,71,97],"gaining":[22],"popularity":[23],"among":[24],"users":[25],"also":[27],"systems":[28,83],"providers.":[29],"At":[30],"same":[32],"time,":[33],"such":[34],"instruments":[35],"face":[36],"substantial":[37],"security":[38],"challenges":[39],"because":[40],"they":[41],"usually":[42],"operate":[43],"in":[44,88,332],"physically":[46],"unprotected":[47],"environment,":[48],"thus":[50,324],"attract":[51],"attackers":[53],"to":[54,74,78,98,161,189,195,262,283,300],"gain":[55],"unauthorized":[56],"access":[57],"for":[58,107,122,167,227,252],"utilizing":[59],"system":[61,64,101,120,170,229],"functions.":[62],"Accordingly,":[63],"integrity":[65,109,124],"important":[67],"hence":[69],"there":[70],"need":[73],"propose":[75],"technique/tool":[77],"verify":[79],"that":[80,218],"original/pure":[82],"codes":[84],"have":[85,171],"been":[86,172,260],"used":[87,177,261,277],"those":[89],"devices.":[90],"In":[91],"this":[92,231],"research,":[93],"our":[94],"main":[95,129],"objective":[96],"design":[99,190],"architecture":[102,121],"with":[103,157],"secure":[105,183,192],"communication":[106],"code":[108,134],"attestation":[110,125,238],"an":[112,132],"ES.":[113],"Indeed,":[114],"study":[116,176,232],"presents":[117],"proposed":[119,237,286],"ESs":[123],"which":[126],"includes":[127],"two":[128,182],"phases:":[130],"fetching":[131],"ES":[133,142],"at":[135,143],"server":[137,208],"site":[138,146],"examining":[140],"remote":[145,211],"(using":[147],"designed":[149],"user":[150,212],"application).":[151],"Essentially,":[152],"hash":[154],"function":[155],"(SHA-2)":[156],"random":[159],"key":[160,187],"calculate":[162],"unique":[164],"digest":[165],"value":[166],"targeted":[169],"utilized.":[173],"Also,":[174],"timestamps":[178],"nonce":[180],"values,":[181],"keys,":[184],"public":[186],"algorithm":[188],"protocol":[193,239,265],"in-order":[194,299],"prevent":[196],"potential":[197,302],"attacks":[198],"during":[199],"data":[200],"associated":[203],"values":[204],"transfer":[205],"between":[206],"application.":[213],"As":[214],"many":[215],"researchers":[216],"state":[217],"formal":[220,246,289],"methods":[221],"are":[222,292,337],"very":[223],"precise":[224],"accurate":[226],"presenting":[228],"specifications;":[230],"modeled":[233],"analyzed":[235],"using":[240,320],"Communicating":[242],"Sequential":[243],"Processes":[244],"(CSP)":[245],"method":[247,290],"approach.":[248],"Besides,":[249],"Compiler":[251],"Analysis":[254],"Security":[256],"Protocols":[257],"(Casper)":[258],"translate":[263],"description":[266],"into":[267],"corresponding":[269],"process":[270],"algebra":[271],"CSP":[272],"model.":[273],"Then,":[274],"researcher":[276],"Failures":[279],"Divergences":[280],"Refinement":[281],"(FDR)":[282],"evaluate":[284],"protocol.":[287],"Those":[288],"tools":[291],"considered":[293],"as":[294],"reliable":[296],"verification":[297],"measurement":[298],"figure-out":[301],"flaws":[303],"correct":[305],"them.":[306],"Overall,":[307],"final":[309],"output":[310],"checking":[312],"all":[313,325],"defined":[315,331],"secrecy":[316,327],"authentication":[318,329],"assertions":[319],"FDR":[321],"4.2.0,":[322],"specifications":[330],"developed":[334],"Casper":[335],"script":[336],"passed.":[338]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}