{"id":"https://openalex.org/W3032694069","doi":"https://doi.org/10.1109/tase.2021.3106335","title":"Security Analysis for Distributed IoT-Based Industrial Automation","display_name":"Security Analysis for Distributed IoT-Based Industrial Automation","publication_year":2021,"publication_date":"2021-09-03","ids":{"openalex":"https://openalex.org/W3032694069","doi":"https://doi.org/10.1109/tase.2021.3106335","mag":"3032694069"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2021.3106335","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2021.3106335","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2006.00044","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056221012","display_name":"Vuk Lesi","orcid":"https://orcid.org/0000-0002-6804-4400"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vuk Lesi","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA","[Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708 USA (e-mail: vuk.lesi@duke.edu)]"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"[Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708 USA (e-mail: vuk.lesi@duke.edu)]","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025388960","display_name":"\u017divana Jakovljevi\u0107","orcid":"https://orcid.org/0000-0002-7878-2909"},"institutions":[{"id":"https://openalex.org/I4068193","display_name":"University of Belgrade","ror":"https://ror.org/02qsmb048","country_code":"RS","type":"education","lineage":["https://openalex.org/I4068193"]}],"countries":["RS"],"is_corresponding":false,"raw_author_name":"Zivana Jakovljevic","raw_affiliation_strings":["Department of Production Engineering, Faculty of Mechanical Engineering, University of Belgrade, Belgrade, Serbia","[Faculty of Mechanical Engineering, Department of Production Engineering, University of Belgrade, 11000 Belgrade, Serbia.]"],"affiliations":[{"raw_affiliation_string":"Department of Production Engineering, Faculty of Mechanical Engineering, University of Belgrade, Belgrade, Serbia","institution_ids":["https://openalex.org/I4068193"]},{"raw_affiliation_string":"[Faculty of Mechanical Engineering, Department of Production Engineering, University of Belgrade, 11000 Belgrade, Serbia.]","institution_ids":["https://openalex.org/I4068193"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742584","display_name":"Miroslav Paji\u0107","orcid":"https://orcid.org/0000-0002-5357-0117"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Miroslav Pajic","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA","[Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708, USA.]"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"[Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708, USA.]","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5056221012"],"corresponding_institution_ids":["https://openalex.org/I170897317"],"apc_list":null,"apc_paid":null,"fwci":0.5546,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.6380855,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"19","issue":"4","first_page":"3093","last_page":"3108"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7472821474075317},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7102659940719604},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4857812225818634},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.47952866554260254},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4549701511859894},{"id":"https://openalex.org/keywords/industrial-control-system","display_name":"Industrial control system","score":0.4312286078929901},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4201667010784149},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40173572301864624},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3370353877544403},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3260306119918823},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19271036982536316},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1633506715297699},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14692863821983337}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7472821474075317},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7102659940719604},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4857812225818634},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.47952866554260254},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4549701511859894},{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.4312286078929901},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4201667010784149},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40173572301864624},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3370353877544403},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3260306119918823},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19271036982536316},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1633506715297699},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14692863821983337},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/tase.2021.3106335","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2021.3106335","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2006.00044","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.00044","pdf_url":"https://arxiv.org/pdf/2006.00044","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:3032694069","is_oa":true,"landing_page_url":"https://aps.arxiv.org/pdf/2006.00044","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:machinery.mas.bg.ac.rs:123456789/101","is_oa":true,"landing_page_url":"https://machinery.mas.bg.ac.rs/handle/123456789/101","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"article"},{"id":"doi:10.48550/arxiv.2006.00044","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2006.00044","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2006.00044","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.00044","pdf_url":"https://arxiv.org/pdf/2006.00044","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.550000011920929,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1273434616","display_name":null,"funder_award_id":"N00014-20-1-2745","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G1362166082","display_name":null,"funder_award_id":"6523109","funder_id":"https://openalex.org/F4320329307","funder_display_name":"Science Fund of the Republic of Serbia"},{"id":"https://openalex.org/G1842501752","display_name":"CAREER: Foundations for Secure Control of Cyber-Physical Systems","funder_award_id":"1652544","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2267316749","display_name":null,"funder_award_id":"CNS-1652544","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4504108201","display_name":null,"funder_award_id":"N00014-17-1","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4751570384","display_name":null,"funder_award_id":"4-17-1-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5189256463","display_name":null,"funder_award_id":"N00014-17-1-2504","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5420749348","display_name":null,"funder_award_id":"AI-MISSION 4.0","funder_id":"https://openalex.org/F4320329307","funder_display_name":"Science Fund of the Republic of Serbia"},{"id":"https://openalex.org/G5488942315","display_name":null,"funder_award_id":"35020","funder_id":"https://openalex.org/F4320322729","funder_display_name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja"},{"id":"https://openalex.org/G5643251411","display_name":null,"funder_award_id":"and N00","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5980947174","display_name":null,"funder_award_id":"TR35004","funder_id":"https://openalex.org/F4320322729","funder_display_name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja"},{"id":"https://openalex.org/G6315055024","display_name":null,"funder_award_id":"35004","funder_id":"https://openalex.org/F4320322729","funder_display_name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja"},{"id":"https://openalex.org/G6831129153","display_name":null,"funder_award_id":"TR35004","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8332990305","display_name":null,"funder_award_id":"TR35020","funder_id":"https://openalex.org/F4320322729","funder_display_name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8519615577","display_name":null,"funder_award_id":"N00014-17-1-2012","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320322729","display_name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja","ror":"https://ror.org/01znas443"},{"id":"https://openalex.org/F4320329307","display_name":"Science Fund of the Republic of Serbia","ror":null},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":74,"referenced_works":["https://openalex.org/W146674755","https://openalex.org/W354811764","https://openalex.org/W1481397690","https://openalex.org/W1498432697","https://openalex.org/W1505489763","https://openalex.org/W1511538751","https://openalex.org/W1519324376","https://openalex.org/W1970390444","https://openalex.org/W1972914730","https://openalex.org/W1973160266","https://openalex.org/W1976057993","https://openalex.org/W1977880781","https://openalex.org/W1989550105","https://openalex.org/W1990252472","https://openalex.org/W1996109622","https://openalex.org/W2000518871","https://openalex.org/W2007167492","https://openalex.org/W2018481388","https://openalex.org/W2037470097","https://openalex.org/W2065955975","https://openalex.org/W2070996046","https://openalex.org/W2091223217","https://openalex.org/W2094562085","https://openalex.org/W2094618733","https://openalex.org/W2096740130","https://openalex.org/W2114233713","https://openalex.org/W2128381560","https://openalex.org/W2130561017","https://openalex.org/W2138723607","https://openalex.org/W2143665444","https://openalex.org/W2144576616","https://openalex.org/W2145317433","https://openalex.org/W2279838076","https://openalex.org/W2343858165","https://openalex.org/W2580361550","https://openalex.org/W2585833112","https://openalex.org/W2591273803","https://openalex.org/W2597062023","https://openalex.org/W2605801006","https://openalex.org/W2708484366","https://openalex.org/W2767874069","https://openalex.org/W2770644183","https://openalex.org/W2783137774","https://openalex.org/W2784134065","https://openalex.org/W2789444712","https://openalex.org/W2789896367","https://openalex.org/W2803355841","https://openalex.org/W2805611890","https://openalex.org/W2887998377","https://openalex.org/W2901336098","https://openalex.org/W2922968484","https://openalex.org/W2932738034","https://openalex.org/W2941599780","https://openalex.org/W2944114173","https://openalex.org/W2947175569","https://openalex.org/W2953088057","https://openalex.org/W2973324229","https://openalex.org/W2999753286","https://openalex.org/W3004911497","https://openalex.org/W3009731435","https://openalex.org/W3011364142","https://openalex.org/W3017132417","https://openalex.org/W3045124875","https://openalex.org/W3047052966","https://openalex.org/W3083801939","https://openalex.org/W3093836483","https://openalex.org/W3112978833","https://openalex.org/W3122911890","https://openalex.org/W3206677228","https://openalex.org/W4231753281","https://openalex.org/W4300591351","https://openalex.org/W6611990033","https://openalex.org/W6751184934","https://openalex.org/W6760608937"],"related_works":["https://openalex.org/W2943211873","https://openalex.org/W3048018265","https://openalex.org/W2205855056","https://openalex.org/W3030308125","https://openalex.org/W2065445946","https://openalex.org/W2890959109","https://openalex.org/W1529070793","https://openalex.org/W2901066565","https://openalex.org/W2618694617","https://openalex.org/W2742097343","https://openalex.org/W2554846886","https://openalex.org/W2020221119","https://openalex.org/W1502035237","https://openalex.org/W2773804047","https://openalex.org/W2125837134","https://openalex.org/W2029787924","https://openalex.org/W2951456090","https://openalex.org/W2111668318","https://openalex.org/W2555503946","https://openalex.org/W2399946005"],"abstract_inverted_index":{"Internet":[0],"of":[1,7,13,49,59,66,94,122,128,160,170,239,247,276,291,299,313,370],"Things":[2],"(IoT)":[3],"technologies":[4],"enable":[5,119,168],"development":[6],"reconfigurable":[8],"manufacturing":[9],"systems\u2014a":[10],"new":[11],"generation":[12],"modularized":[14],"industrial":[15,96,181],"equipment":[16],"suitable":[17,321],"for":[18,83,195,223,236,274,330],"highly":[19],"customized":[20],"manufacturing.":[21],"Sequential":[22],"control":[23,41,61,86,341],"in":[24,63,73,116,125,214,296,334],"these":[25],"systems":[26],"is":[27,38,69,189,336],"largely":[28],"based":[29,52,338],"on":[30,53,179,339,373],"discrete":[31],"events,":[32],"whereas":[33],"their":[34],"formal":[35,57,192],"execution":[36],"semantics":[37],"specified":[39],"as":[40,307,309,352],"interpreted":[42],"Petri":[43,104,278],"nets":[44,279],"(CIPN).":[45],"Despite":[46],"industry-wide":[47],"use":[48],"programming":[50,231],"languages":[51],"the":[54,64,126,237,292,297,325,353],"CIPN":[55,92],"formalism,":[56],"verification":[58,81,121,148,246,275],"such":[60],"applications":[62,209,219],"presence":[65,127,298],"adversarial":[67,140],"activity":[68],"not":[70,243],"supported.":[71],"Consequently,":[72],"this":[74],"article,":[75],"we":[76,89,132,145,175,200,251,269,367],"introduce":[77,133,154],"security-aware":[78,113,254],"modeling":[79],"and":[80,108,112,157,167,216,256,262,289],"techniques":[82],"CIPN-based":[84],"sequential":[85,197],"applications.":[87],"Specifically,":[88,199],"show":[90,146,252,270,345,368],"how":[91,147,253,271],"models":[93,107,115,137,258],"networked":[95],"IoT":[97,208],"controllers":[98,204,332],"can":[99,150,259,280,316,349,357],"be":[100,151,260,281,317,350,358],"transformed":[101],"into":[102],"time":[103,277],"net":[105],"(TPN)-based":[106],"composed":[109,263],"with":[110,264],"plant":[111],"channel":[114],"order":[117],"to":[118,153,185,190,283,319],"system-level":[120,245],"safety":[123,172,249,288],"properties":[124,286,356],"network-based":[129,300],"attacks.":[130,301],"Additionally,":[131],"realistic":[134,375],"channel-specific":[135],"attack":[136,161],"that":[138,163,210,346],"capture":[139],"behavior":[141],"using":[142],"nondeterminism.":[143],"Moreover,":[144],"results":[149,312],"utilized":[152],"security":[155,193,310,347,362],"patches":[156,363],"facilitate":[158],"design":[159,238],"detectors":[162],"improve":[164],"system":[165,295],"resiliency":[166],"satisfaction":[169],"critical":[171],"properties.":[173],"Finally,":[174,366],"evaluate":[176],"our":[177,314,371],"framework":[178,372],"an":[180,304],"case":[182],"study.":[183],"Note":[184],"Practitioners\u2014Our":[186],"main":[187],"goal":[188],"provide":[191,303],"guarantees":[194,348],"distributed":[196,240,265,293,376],"controllers.":[198],"target":[201,331],"smart":[202],"automation":[203,230,241,294],"geared":[205],"toward":[206],"Industrial":[207],"are":[211,217,364],"typically":[212],"programed":[213],"C/C++":[215],"running":[218],"originally":[220],"designed":[221],"in,":[222],"example,":[224],"GRAFCET":[225],"(IEC":[226,228],"60848)/SFC":[227],"61131-3)":[229],"languages.":[232],"Since":[233],"existing":[234,272],"tools":[235,273],"do":[242],"support":[244],"relevant":[248,285,354],"properties,":[250],"transceiver":[255],"communication":[257],"developed":[261],"controller":[266],"models.":[267,342],"Then,":[268],"used":[282,318],"verify":[284],"including":[287],"liveness":[290],"To":[302],"end-to-end":[305],"analysis":[306,315],"well":[308],"patching,":[311],"deploy":[320],"firmware":[322],"updates":[323],"during":[324],"stage":[326],"when":[327],"executable":[328],"code":[329],"(e.g.,":[333],"C/C++)":[335],"generated":[337],"GRAFCET/SFC":[340],"We":[343],"also":[344],"improved":[351],"safety/liveness":[355],"verified":[359],"after":[360],"corresponding":[361],"deployed.":[365],"applicability":[369],"a":[374],"pneumatic":[377],"manipulator.":[378]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}