{"id":"https://openalex.org/W3160693357","doi":"https://doi.org/10.1109/tase.2021.3076697","title":"Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks","display_name":"Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks","publication_year":2021,"publication_date":"2021-05-12","ids":{"openalex":"https://openalex.org/W3160693357","doi":"https://doi.org/10.1109/tase.2021.3076697","mag":"3160693357"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2021.3076697","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2021.3076697","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":"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/A5050728945","display_name":"P\u00fablio M. Lima","orcid":"https://orcid.org/0000-0001-8168-2469"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Publio M. Lima","raw_affiliation_strings":["Department of Electrical Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030237625","display_name":"Marcos V. S. Alves","orcid":"https://orcid.org/0000-0001-8752-2933"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcos V. S. Alves","raw_affiliation_strings":["Department of Electrical Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077324595","display_name":"Lilian K. Carvalho","orcid":"https://orcid.org/0000-0003-0629-7194"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Lilian Kawakami Carvalho","raw_affiliation_strings":["Department of Electrical Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001743340","display_name":"Marcos V. Moreira","orcid":"https://orcid.org/0000-0001-5661-2637"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcos V. Moreira","raw_affiliation_strings":["Department of Electrical Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5050728945"],"corresponding_institution_ids":["https://openalex.org/I122140584"],"apc_list":null,"apc_paid":null,"fwci":4.3946,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.94863284,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"19","issue":"3","first_page":"2030","last_page":"2041"},"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.9986000061035156,"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.9986000061035156,"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.9970999956130981,"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/T10142","display_name":"Formal Methods in Verification","score":0.9958999752998352,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7304607629776001},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.7090643644332886},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6963670253753662},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.6809662580490112},{"id":"https://openalex.org/keywords/industrial-control-system","display_name":"Industrial control system","score":0.6152316331863403},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5667368769645691},{"id":"https://openalex.org/keywords/communications-system","display_name":"Communications system","score":0.513789713382721},{"id":"https://openalex.org/keywords/telecommunications-network","display_name":"Telecommunications network","score":0.5079460740089417},{"id":"https://openalex.org/keywords/secure-communication","display_name":"Secure communication","score":0.4732801616191864},{"id":"https://openalex.org/keywords/control-system-security","display_name":"Control system security","score":0.4602562189102173},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4420933127403259},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.41037848591804504},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.386656254529953},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37764376401901245},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.31670141220092773},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.2378411889076233},{"id":"https://openalex.org/keywords/network-security-policy","display_name":"Network security policy","score":0.16633448004722595},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10796263813972473}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7304607629776001},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.7090643644332886},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6963670253753662},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.6809662580490112},{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.6152316331863403},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5667368769645691},{"id":"https://openalex.org/C101765175","wikidata":"https://www.wikidata.org/wiki/Q577764","display_name":"Communications system","level":2,"score":0.513789713382721},{"id":"https://openalex.org/C192126672","wikidata":"https://www.wikidata.org/wiki/Q1068715","display_name":"Telecommunications network","level":2,"score":0.5079460740089417},{"id":"https://openalex.org/C510870077","wikidata":"https://www.wikidata.org/wiki/Q7444868","display_name":"Secure communication","level":3,"score":0.4732801616191864},{"id":"https://openalex.org/C172862783","wikidata":"https://www.wikidata.org/wiki/Q5165888","display_name":"Control system security","level":5,"score":0.4602562189102173},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4420933127403259},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.41037848591804504},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.386656254529953},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37764376401901245},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.31670141220092773},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.2378411889076233},{"id":"https://openalex.org/C117110713","wikidata":"https://www.wikidata.org/wiki/Q3394676","display_name":"Network security policy","level":4,"score":0.16633448004722595},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10796263813972473},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2021.3076697","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2021.3076697","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3758395335","display_name":null,"funder_award_id":"E-26/211.136/2019","funder_id":"https://openalex.org/F4320322749","funder_display_name":"Funda\u00e7\u00e3o Carlos Chagas Filho de Amparo \u00e0 Pesquisa do Estado do Rio de Janeiro"},{"id":"https://openalex.org/G5681581434","display_name":null,"funder_award_id":"436672/2018-9","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G6678507659","display_name":null,"funder_award_id":"431307/2018-0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"}],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320322749","display_name":"Funda\u00e7\u00e3o Carlos Chagas Filho de Amparo \u00e0 Pesquisa do Estado do Rio de Janeiro","ror":"https://ror.org/03kk0s825"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1985508025","https://openalex.org/W2003530067","https://openalex.org/W2037457229","https://openalex.org/W2068354234","https://openalex.org/W2101629635","https://openalex.org/W2110388557","https://openalex.org/W2146852848","https://openalex.org/W2153775930","https://openalex.org/W2342445930","https://openalex.org/W2416559203","https://openalex.org/W2477905973","https://openalex.org/W2509841691","https://openalex.org/W2566064614","https://openalex.org/W2593809978","https://openalex.org/W2599311321","https://openalex.org/W2765683033","https://openalex.org/W2782611461","https://openalex.org/W2804520243","https://openalex.org/W2883791759","https://openalex.org/W2883996237","https://openalex.org/W2884397601","https://openalex.org/W2884878049","https://openalex.org/W2889602037","https://openalex.org/W2898913212","https://openalex.org/W2899278001","https://openalex.org/W2910314742","https://openalex.org/W2953150142","https://openalex.org/W2963076019","https://openalex.org/W2991356567","https://openalex.org/W3027703089","https://openalex.org/W4288853474","https://openalex.org/W4301972031"],"related_works":["https://openalex.org/W2545311377","https://openalex.org/W1577831524","https://openalex.org/W4256621493","https://openalex.org/W2614996178","https://openalex.org/W3161414730","https://openalex.org/W3141555268","https://openalex.org/W2045071758","https://openalex.org/W3161627164","https://openalex.org/W4395447844","https://openalex.org/W2943911154"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1,216],"(CPSs)":[2],"integrate":[3],"computing":[4],"and":[5,10,28,142,181],"communication":[6,19,37,98,173,193,222],"capabilities":[7],"to":[8,16,24,44,51,119,147,154,177,201,218,248,257,267],"monitor":[9],"control":[11,97],"physical":[12],"processes.":[13],"In":[14,80,168,224],"order":[15],"do":[17],"so,":[18],"networks":[20,38,174,194],"are":[21,175],"commonly":[22],"used":[23,176],"connect":[25,178],"sensors,":[26,179],"actuators,":[27,180],"controllers":[29,182],"in":[30,75,93,183,189,214,236],"the":[31,40,49,56,61,66,76,94,109,120,124,158,161,184,190,197,219,237,261,268],"feedback":[32],"system.":[33,186],"The":[34,187,203],"use":[35,191,204],"of":[36,42,55,100,111,122,171,192,199,205,221,260],"increases":[39,196],"vulnerability":[41,198],"CPSs":[43,101,200],"cyberattacks":[45,59],"that":[46,88,233,263],"can":[47,68,89],"drive":[48],"system":[50,125,238,262,269],"unsafe":[52,128],"states.":[53],"One":[54],"most":[57],"powerful":[58],"is":[60,117,211,246,254],"so-called":[62],"man-in-the-middle":[63,91,241],"attack,":[64],"where":[65],"intruder":[67],"observe,":[69],"hide,":[70],"create,":[71],"or":[72,270],"change":[73],"information":[74],"attacked":[77],"network":[78,112],"channels.":[79],"this":[81,149,225],"article,":[82,226],"we":[83,143,227],"propose":[84,144,228],"a":[85,132,229,255],"defense":[86,231],"strategy":[87,232],"thwart":[90],"attacks":[92],"sensor":[95],"and/or":[96],"channels":[99],"modeled":[102],"as":[103,209],"discrete-event":[104],"systems.":[105],"We":[106],"also":[107,195],"introduce":[108],"definition":[110],"attack":[113],"security":[114,133,244],"(NA-Security),":[115],"which":[116],"related":[118],"possibility":[121],"preventing":[123],"from":[126],"reaching":[127],"states":[129,259],"by":[130,240],"using":[131],"supervisor,":[134],"whose":[135],"online":[136],"implementation":[137],"has":[138],"polynomial":[139],"computational":[140],"complexity,":[141],"an":[145],"algorithm":[146],"verify":[148],"property.":[150],"<italic":[151],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[152],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Note":[153],"Practitioners</i>":[155],"\u2014CPSs":[156],"form":[157],"basis":[159],"for":[160],"fourth":[162],"industrial":[163,215],"revolution,":[164],"called":[165],"Industry":[166],"4.0.":[167],"these":[169],"kinds":[170],"systems,":[172],"closed-loop":[185],"increase":[188],"cyberattacks.":[202],"conventional":[206],"defenses,":[207],"such":[208],"firewalls,":[210],"not":[212],"recommended":[213],"due":[217],"introduction":[220],"delays.":[223],"new":[230],"prevents":[234],"damages":[235,266],"caused":[239],"attacks.":[242],"A":[243],"supervisor":[245],"proposed":[247],"disable":[249],"controllable":[250],"events":[251],"when":[252],"there":[253],"risk":[256],"reach":[258],"may":[264],"represent":[265],"its":[271],"operators.":[272]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":15},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}