{"id":"https://openalex.org/W2768922383","doi":"https://doi.org/10.1109/indin.2017.8104750","title":"Design, verification and implementation of a lightweight remote attestation protocol for process control systems","display_name":"Design, verification and implementation of a lightweight remote attestation protocol for process control systems","publication_year":2017,"publication_date":"2017-07-01","ids":{"openalex":"https://openalex.org/W2768922383","doi":"https://doi.org/10.1109/indin.2017.8104750","mag":"2768922383"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2017.8104750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2017.8104750","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075396323","display_name":"B\u00e9la Genge","orcid":"https://orcid.org/0000-0003-1390-479X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bela Genge","raw_affiliation_strings":["Department of Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066669782","display_name":"Adrian-Vasile Duka","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090415","display_name":"Universitatea Petru Maior din T\u00eergu Mure\u015f","ror":"https://ror.org/009maf963","country_code":"RO","type":"education","lineage":["https://openalex.org/I4210090415"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Adrian-Vasile Duka","raw_affiliation_strings":["Department of Computer Science and Electrical Engineering, \u201cPetru Maior\u201d University of T\u00eergu Mure\u015f, Mure\u015f, Romania","Department of Computer Science and Electrical Engineering, \"Petru Maior\" University of T\u00eergu Mure\u015f, Mure\u015f, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Electrical Engineering, \u201cPetru Maior\u201d University of T\u00eergu Mure\u015f, Mure\u015f, Romania","institution_ids":["https://openalex.org/I4210090415"]},{"raw_affiliation_string":"Department of Computer Science and Electrical Engineering, \"Petru Maior\" University of T\u00eergu Mure\u015f, Mure\u015f, Romania","institution_ids":["https://openalex.org/I4210090415"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068907425","display_name":"Piroska Haller","orcid":"https://orcid.org/0000-0002-5611-2429"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Piroska Haller","raw_affiliation_strings":["Department of Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056581866","display_name":"Bogdan Crainicu","orcid":"https://orcid.org/0000-0003-4083-204X"},"institutions":[{"id":"https://openalex.org/I4210090415","display_name":"Universitatea Petru Maior din T\u00eergu Mure\u015f","ror":"https://ror.org/009maf963","country_code":"RO","type":"education","lineage":["https://openalex.org/I4210090415"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Bogdan Crainicu","raw_affiliation_strings":["Department of Informatics, \u201cPetru Maior\u201d University of T\u00eergu Mure\u015f, N. lorga, No. 1, T\u00eergu Mure\u015f, Mure\u015f, Romania","Department of Informatics, \"Petru Maior\" University of T\u00eergu Mure\u015f, N. lorga, No. 1, T\u00eergu Mure\u015f, Mure\u015f, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, \u201cPetru Maior\u201d University of T\u00eergu Mure\u015f, N. lorga, No. 1, T\u00eergu Mure\u015f, Mure\u015f, Romania","institution_ids":["https://openalex.org/I4210090415"]},{"raw_affiliation_string":"Department of Informatics, \"Petru Maior\" University of T\u00eergu Mure\u015f, N. lorga, No. 1, T\u00eergu Mure\u015f, Mure\u015f, Romania","institution_ids":["https://openalex.org/I4210090415"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068180025","display_name":"Hunor S\u00e1ndor","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hunor Sandor","raw_affiliation_strings":["Department of Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080523069","display_name":"Flavius Graur","orcid":"https://orcid.org/0000-0002-9098-4714"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Flavius Graur","raw_affiliation_strings":["Department of Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17115808,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"75","last_page":"82"},"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.9984999895095825,"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.9984999895095825,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9921000003814697,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.989300012588501,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7324744462966919},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6274372339248657},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.582696259021759},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5619372725486755},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5132231712341309},{"id":"https://openalex.org/keywords/trusted-platform-module","display_name":"Trusted Platform Module","score":0.5003254413604736},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4393164813518524},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42586076259613037},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.349273681640625},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3226470649242401}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7324744462966919},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6274372339248657},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.582696259021759},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5619372725486755},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5132231712341309},{"id":"https://openalex.org/C202775310","wikidata":"https://www.wikidata.org/wiki/Q1140366","display_name":"Trusted Platform Module","level":2,"score":0.5003254413604736},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4393164813518524},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42586076259613037},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.349273681640625},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3226470649242401},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"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":1,"locations":[{"id":"doi:10.1109/indin.2017.8104750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2017.8104750","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W647742179","https://openalex.org/W956784997","https://openalex.org/W1603878273","https://openalex.org/W1802259427","https://openalex.org/W1966709388","https://openalex.org/W2015555941","https://openalex.org/W2029693536","https://openalex.org/W2030257002","https://openalex.org/W2108721666","https://openalex.org/W2117500454","https://openalex.org/W2117767383","https://openalex.org/W2125591151","https://openalex.org/W2135274013","https://openalex.org/W2145415641","https://openalex.org/W2152605584","https://openalex.org/W2153256720","https://openalex.org/W2388447476","https://openalex.org/W2504121959","https://openalex.org/W2513374167","https://openalex.org/W2752493903","https://openalex.org/W3030624396","https://openalex.org/W6682198590","https://openalex.org/W6778727884"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W2111870610"],"abstract_inverted_index":{"Until":[0],"recently,":[1],"IT":[2],"security":[3],"received":[4],"limited":[5],"attention":[6],"within":[7],"the":[8,16,51,60,65,72,97,100,136,146,167,170,193],"scope":[9],"of":[10,20,53,62,91,105,135,148,169,195],"Process":[11],"Control":[12],"Systems":[13],"(PCS).":[14],"In":[15,89],"past,":[17],"PCS":[18,84],"consisted":[19],"isolated,":[21],"specialized":[22],"components":[23],"running":[24],"closed":[25],"process":[26],"control":[27],"applications,":[28],"where":[29],"hardware":[30,68],"was":[31],"placed":[32],"in":[33,192,199],"physically":[34],"secured":[35],"locations":[36],"and":[37,55,69,80,103,154,178],"connections":[38],"to":[39,85],"remote":[40,77,108],"network":[41],"infrastructures":[42],"were":[43],"forbidden.":[44],"Nowadays,":[45],"industrial":[46,130,186],"communications":[47],"are":[48,181],"fully":[49],"exploiting":[50],"plethora":[52],"features":[54],"novel":[56],"capabilities":[57],"deriving":[58],"from":[59],"adoption":[61],"commodity":[63],"off":[64],"shelf":[66],"(COTS)":[67],"software.":[70],"Nonetheless,":[71],"reliance":[73],"on":[74],"COTS":[75],"for":[76,99,145,164,183],"monitoring,":[78],"configuration":[79],"maintenance":[81],"also":[82],"exposed":[83],"significant":[86],"cyber":[87,157],"threats.":[88],"light":[90],"these":[92],"issues,":[93],"this":[94],"paper":[95],"presents":[96],"steps":[98],"design,":[101],"verification":[102,121],"implementation":[104,177],"a":[106,117,184],"lightweight":[107],"attestation":[109],"protocol.":[110],"The":[111,132,159,175],"protocol":[112,138,160,176],"is":[113,139,161,189],"aimed":[114],"at":[115],"providing":[116],"secure":[118],"software":[119],"integrity":[120],"scheme":[122],"that":[123,140],"can":[124],"be":[125],"readily":[126],"integrated":[127],"into":[128],"existing":[129],"applications.":[131],"main":[133],"novelty":[134],"designed":[137],"it":[141],"encapsulates":[142],"key":[143],"elements":[144],"protection":[147],"both":[149],"participating":[150],"parties":[151],"(i.e.,":[152],"verifier":[153],"prover)":[155],"against":[156],"attacks.":[158],"formally":[162],"verified":[163],"correctness":[165],"with":[166],"help":[168],"Scyther":[171],"model":[172],"checking":[173],"tool.":[174],"experimental":[179],"results":[180],"provided":[182],"Phoenix-Contact":[185],"controller,":[187],"which":[188],"widely":[190],"used":[191],"automation":[194],"gas":[196],"transportation":[197],"networks":[198],"Romania.":[200]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}