{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T05:09:14Z","timestamp":1770354554933,"version":"3.49.0"},"reference-count":65,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61873277"],"award-info":[{"award-number":["61873277"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Key Research and Development Program of Shaanxi Province","award":["2019GY\u2013056"],"award-info":[{"award-number":["2019GY\u2013056"]}]},{"name":"Key Research and Development Program of Shaanxi Province","award":["2018ZDXM\u2013GY\u2013036"],"award-info":[{"award-number":["2018ZDXM\u2013GY\u2013036"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.3014217","type":"journal-article","created":{"date-parts":[[2020,8,4]],"date-time":"2020-08-04T21:15:49Z","timestamp":1596575749000},"page":"147185-147198","source":"Crossref","is-referenced-by-count":40,"title":["Homomorphic Encryption of Supervisory Control Systems Using Automata"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7186-9377","authenticated-orcid":false,"given":"Sian","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7204-3654","authenticated-orcid":false,"given":"Zhenhua","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6967-7747","authenticated-orcid":false,"given":"Emad S. Abouel","family":"Nasr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7873-0586","authenticated-orcid":false,"given":"Haitham A.","family":"Mahmoud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8115-4882","authenticated-orcid":false,"given":"Emad Mahrous","family":"Awwad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6782-458X","authenticated-orcid":false,"given":"Naiqi","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s40313-018-0420-9"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2018.7511105"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2600583"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2015.2415047"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2018.10.018"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2574120"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2970011"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2018.11.025"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2014.948936"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911411"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.05.008"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2018.7511162"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2846646"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911333"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3103\/S0146411613070262"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2999312"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2936052"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2020.05.085"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585647"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507140"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510349"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2779473"},{"key":"ref22","first-page":"169","article-title":"On data banks and privacy homomorphisms","volume":"4","author":"rivest","year":"1978","journal-title":"Found Secure Comput"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814612"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-019-00427-0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ITA.2014.6804228"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1177\/1687814019885294"},{"key":"ref25","article-title":"Design and formal analysis of Petri net based logic control algorithms","author":"frey","year":"2002"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30821-6"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.2012.6449723"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2970866"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2018.2880178"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2939628"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3185502"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2978101"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2258907"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406340"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2914895"},{"key":"ref10","author":"lee","year":"2017","journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach"},{"key":"ref11","author":"cassandras","year":"2009","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.06.012"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref13","first-page":"390","article-title":"A survey on various cyber attacks and their classification","volume":"15","author":"uma","year":"2013","journal-title":"Int J Netw Secur"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2016.04.015"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2977992"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23313"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403296"},{"key":"ref18","first-page":"175","article-title":"Encrypting controller using fully homomorphic encryption for security of cyber-physical systems","author":"kim","year":"2016","journal-title":"Proc Necsys"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2017.07.004"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510760"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507161"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S1353-4858(19)30037-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2015.7296538"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2019.07.055"},{"key":"ref7","article-title":"On the DTrack: A cyber-attack on an Indian nuclear plant raises worrying questions","year":"2019"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22846-4_3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2977423"},{"key":"ref46","first-page":"1","article-title":"Research issues and challenges for multiple digital signatures","volume":"1","author":"hwang","year":"2005","journal-title":"Int J Netw Secur"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1142\/S0129054109006607","article-title":"A new convertible authenticated encryption scheme based on the ElGamal cryptosystem","volume":"20","author":"lee","year":"2009","journal-title":"Int J Found Comput Sci"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/4241713"},{"key":"ref47","first-page":"233","article-title":"Two simple batch verifying multiple digital signatures","author":"hwang","year":"2001","journal-title":"Proc ICICS"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1536414.1536440"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2945132"},{"key":"ref44","doi-asserted-by":"crossref","DOI":"10.1201\/b17668","author":"katz","year":"2014","journal-title":"Introduction to Modern Cryptography"},{"key":"ref43","article-title":"A fully homomorphic encryption scheme","author":"gentry","year":"2009"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09157893.pdf?arnumber=9157893","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:54:56Z","timestamp":1639770896000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9157893\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":65,"URL":"https:\/\/doi.org\/10.1109\/access.2020.3014217","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}