{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T14:35:06Z","timestamp":1783607706826,"version":"3.55.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","award":["NRF2014NCR-NCR001-31"],"award-info":[{"award-number":["NRF2014NCR-NCR001-31"]}],"id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10207-020-00529-0","type":"journal-article","created":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T10:03:53Z","timestamp":1609754633000},"page":"783-795","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Enabling isolation and recovery in PLC redundancy framework of metro train systems"],"prefix":"10.1007","volume":"20","author":[{"given":"Edwin Franco Myloth","family":"Josephlal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sridhar","family":"Adepu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8610-9936","authenticated-orcid":false,"given":"Zheng","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianying","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,1,4]]},"reference":[{"key":"529_CR1","doi-asserted-by":"crossref","unstructured":"Adepu, S., Brasser, F., Garcia, L., Rodler, M., Davi, L., Sadeghi, A.-R., Zonouz, S.: Control behavior integrity for distributed cyber-physical systems. In: 2020 ACM\/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), pp. 30\u201340. IEEE (2020)","DOI":"10.1109\/ICCPS48487.2020.00011"},{"key":"529_CR2","unstructured":"Adepu, S., Mathur, A.: Assessing the effectiveness of attack detection at a hackfest on industrial control systems. IEEE Trans. Sustain. Comput. (2018)"},{"issue":"1","key":"529_CR3","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MWC.2018.1700231","volume":"25","author":"C Alcaraz","year":"2018","unstructured":"Alcaraz, C.: Cloud-assisted dynamic resilience for cyber-physical control systems. IEEE Wirel. Commun. 25(1), 76\u201382 (2018)","journal-title":"IEEE Wirel. Commun."},{"key":"529_CR4","doi-asserted-by":"crossref","unstructured":"Alcaraz, C., Wolthusen, S.: Recovery of structural controllability for control systems. In: International Conference on Critical Infrastructure Protection, pp. 47\u201363. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45355-1_4"},{"key":"529_CR5","doi-asserted-by":"crossref","unstructured":"Antrobus, R., Green, B., Frey, S.A.F., Rashid, A.: The forgotten i in iiot: A vulnerability scanner for industrial internet of things (2019)","DOI":"10.1049\/cp.2019.0126"},{"key":"529_CR6","unstructured":"Azzouni, G.H.: Contact shoe assembly for a train, 23 Sept 1997. US Patent 5,669,472"},{"key":"529_CR7","doi-asserted-by":"crossref","unstructured":"Bellare, M.: New proofs for NMAC and HMAC: Security without collision-resistance. In: Annual International Cryptology Conference, pp. 602\u2013619. Springer, Berlin (2006)","DOI":"10.1007\/11818175_36"},{"key":"529_CR8","first-page":"4","volume-title":"Computer Security: Art and Science","author":"M Bishop","year":"2003","unstructured":"Bishop, M.: Computer Security: Art and Science, pp. 4\u201312. Addison Wesley Professional, Westford (2003)"},{"issue":"2","key":"529_CR9","doi-asserted-by":"publisher","first-page":"1778","DOI":"10.1109\/JSYST.2015.2487684","volume":"12","author":"L Cazorla","year":"2016","unstructured":"Cazorla, L., Alcaraz, C., Lopez, J.: Cyber stealth attacks in critical information infrastructures. IEEE Syst. J. 12(2), 1778\u20131792 (2016)","journal-title":"IEEE Syst. J."},{"key":"529_CR10","doi-asserted-by":"crossref","unstructured":"Chen, Y., Poskitt, C.M., Sun, J., Adepu, S., Zhang, F.: Learning-guided network fuzzing for testing cyber-physical system defences. In: 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 962\u2013973. IEEE (2019)","DOI":"10.1109\/ASE.2019.00093"},{"key":"529_CR11","unstructured":"Dablain, K.: Cyber Threats Against Critical Infrastructures in Railroads. PhD thesis, Utica College (2017)"},{"key":"529_CR12","doi-asserted-by":"publisher","first-page":"101935","DOI":"10.1016\/j.cose.2020.101935","volume":"96","author":"TK Das","year":"2020","unstructured":"Das, T.K., Adepu, S., Zhou, J.: Anomaly detection in industrial control systems using logical analysis of data. Comput. Secur. 96, 101935 (2020)","journal-title":"Comput. Secur."},{"key":"529_CR13","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.automatica.2017.01.031","volume":"79","author":"S Feng","year":"2017","unstructured":"Feng, S., Tesi, P.: Resilient control under denial-of-service: robust design. Automatica 79, 42\u201351 (2017)","journal-title":"Automatica"},{"key":"529_CR14","doi-asserted-by":"crossref","unstructured":"Garcia, L., Brasser, F., Cintuglu, M.H., Sadeghi, A.-R., Mohammed, O.A., Zonouz, S.A.: Hey, my malware knows physics! attacking plcs with physical model aware rootkit. In: NDSS (2017)","DOI":"10.14722\/ndss.2017.23313"},{"key":"529_CR15","unstructured":"Ghaeini, H.R., Chan, M., Bahmani, R., Brasser, F., Garcia, L., Zhou, J., Sadeghi, A.-R., Tippenhauer, N.O., Zonouz, S.: Patt: physics-based attestation of control systems. In: 22nd International Symposium on ($$\\{$$RAID$$\\}$$), pp. 165\u2013180 (2019)"},{"issue":"4","key":"529_CR16","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/3203245","volume":"51","author":"J Giraldo","year":"2018","unstructured":"Giraldo, J., Urbina, D., Cardenas, A., Valente, J., Faisal, M., Ruths, J., Tippenhauer, N.O., Sandberg, H., Candell, R.: A survey of physics-based attack detection in cyber-physical systems. ACM Comput. Surv. (CSUR) 51(4), 76 (2018)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"529_CR17","unstructured":"Govil, N., Agrawal, A., Tippenhauer, N.O.: On ladder logic bombs in industrial control systems. In: Sokratis K, Katsikas and Fr\u00e9d\u00e9ric, Cuppens and Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Ant\u00f3n, Stefanos Gritzalis (eds) Computer Security, pp. 110\u2013126. Springer, Berlin (2017)"},{"key":"529_CR18","doi-asserted-by":"crossref","unstructured":"Han, Y., Etigowni, S., Liu, H., Zonouz, S., Petropulu, A.: Watch me, but don\u2019t touch me! contactless control flow monitoring via electromagnetic emanations. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, pp. 1095\u20131108. ACM (2017)","DOI":"10.1145\/3133956.3134081"},{"issue":"1","key":"529_CR19","first-page":"4","volume":"2","author":"J Hunker","year":"2011","unstructured":"Hunker, J., Probst, C.W.: Insiders and insider threats\u2014an overview of definitions and mitigation techniques. JoWUA 2(1), 4\u201327 (2011)","journal-title":"JoWUA"},{"key":"529_CR20","doi-asserted-by":"crossref","unstructured":"Jin, C., Yang, Z., van Dijk, M., Zhou, J.: Proof of aliveness. In: Proceedings of the 35th Annual Computer Security Applications Conference, pp. 1\u201316 (2019)","DOI":"10.1145\/3359789.3359827"},{"key":"529_CR21","unstructured":"Johnson, B., Caban, D., Krotofil, M., Scali, D., Brubaker, N., Glyer, C.: Attackers deploy new ICS attack framework \u201ctriton\u201d and cause operational disruption to critical infrastructure. Threat Res. Blog (2017)"},{"key":"529_CR22","unstructured":"Johnson, R.E.: Survey of scada security challenges and potential attack vectors. In: 2010 International Conference for Internet Technology and Secured Transactions, pp. 1\u20135. IEEE (2010)"},{"issue":"7","key":"529_CR23","first-page":"1298","volume":"10","author":"H Kahtan","year":"2014","unstructured":"Kahtan, H., Bakar, N.A., Nordin, R.: Dependability attributes for increased security in component-based software development. JCS 10(7), 1298\u20131306 (2014)","journal-title":"JCS"},{"key":"529_CR24","unstructured":"Kim, T., Zeldovich, N.: Practical and effective sandboxing for non-root users. In: Presented as part of the 2013 $$\\{$$USENIX$$\\}$$ Annual Technical Conference ($$\\{$$USENIX$$\\}$$$$\\{$$ATC$$\\}$$ 13), pp. 139\u2013144 (2013)"},{"key":"529_CR25","doi-asserted-by":"crossref","unstructured":"Kong, F., Xu, M., Weimer, J., Sokolsky, O., Lee, I.: Cyber-physical system checkpointing and recovery. In: ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS), pp. 22\u201331. IEEE (2018)","DOI":"10.1109\/ICCPS.2018.00011"},{"key":"529_CR26","first-page":"1","volume":"2104","author":"H Krawczyk","year":"1997","unstructured":"Krawczyk, H., Bellare, M., Canetti, R.: HMAC: keyed-hashing for message authentication. RFC 2104, 1\u201311 (1997)","journal-title":"RFC"},{"key":"529_CR27","unstructured":"Lim, A.: LTA, SMRT identify cause of massive rail disruption on July 7 (2015). https:\/\/www.straitstimes.com\/singapore\/transport\/lta-smrt-identify-cause-of-massive-rail-disruption-on-july-7. Accessed 3 Jan 2020"},{"key":"529_CR28","doi-asserted-by":"crossref","unstructured":"Lim, B., Chen, D., An, Y., Kalbarczyk, Z., Iyer, R.: Attack induced common-mode failures on PLC-based safety system in a nuclear power plant: practical experience report. In: 22nd PRDC, pp. 205\u2013210. IEEE (2017)","DOI":"10.1109\/PRDC.2017.34"},{"issue":"1","key":"529_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3300179","volume":"4","author":"HW Lim","year":"2019","unstructured":"Lim, H.W., Temple, W.G., Tran, B.A.N., Chen, B., Kalbarczyk, Z., Zhou, J.: Data integrity threats and countermeasures in railway spot transmission systems. ACM Trans. Cyber-Phys. Syst. 4(1), 1\u201326 (2019)","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"529_CR30","doi-asserted-by":"crossref","unstructured":"Lin, C.-T., Wu, S.-L., Lee, M.-L.: Cyber attack and defense on industry control systems. In: 2017 IEEE Conference on Dependable and Secure Computing, pp. 524\u2013526. IEEE (2017)","DOI":"10.1109\/DESEC.2017.8073874"},{"issue":"8","key":"529_CR31","doi-asserted-by":"publisher","first-page":"3745","DOI":"10.1109\/TII.2018.2826226","volume":"14","author":"J Lopez","year":"2018","unstructured":"Lopez, J., Rubio, J.E., Alcaraz, C.: A resilient architecture for the smart grid. IEEE Trans. Ind. Inform. 14(8), 3745\u20133753 (2018)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"529_CR32","unstructured":"Lu, L., Zhang, Y., Do, T., Al-Kiswany, S., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H.: Physical disentanglement in a container-based file system. In: 11th $$\\{$$USENIX$$\\}$$ Symposium on Operating Systems Design and Implementation ($$\\{$$OSDI$$\\}$$ 14), pp. 81\u201396 (2014)"},{"key":"529_CR33","doi-asserted-by":"publisher","first-page":"101048","DOI":"10.1016\/j.pmcj.2019.101048","volume":"59","author":"A Maw","year":"2019","unstructured":"Maw, A., Adepu, S., Mathur, A.: ICS-BlockOpS: blockchain for operational data security in industrial control system. Pervasive Mob. Comput. 59, 101048 (2019)","journal-title":"Pervasive Mob. Comput."},{"issue":"3","key":"529_CR34","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/0005-1098(89)90008-3","volume":"25","author":"D Pessen","year":"1989","unstructured":"Pessen, D.: Ladder-diagram design for programmable controllers. Automatica 25(3), 407\u2013412 (1989)","journal-title":"Automatica"},{"key":"529_CR35","doi-asserted-by":"publisher","first-page":"100300","DOI":"10.1016\/j.ijcip.2019.05.003","volume":"26","author":"A Robles-Durazno","year":"2019","unstructured":"Robles-Durazno, A., Moradpoor, N., McWhinnie, J., Russell, G., Maneru-Marin, I.: PLC memory attack detection and response in a clean water supply system. Int. J. Crit. Infrastruct. Prot. 26, 100300 (2019)","journal-title":"Int. J. Crit. Infrastruct. Prot."},{"key":"529_CR36","doi-asserted-by":"crossref","unstructured":"Rocchetto, M., Tippenhauer, N.O.: On attacker models and profiles for cyber-physical systems. In: European Symposium on Research in Computer Security, pp. 427\u2013449. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-45741-3_22"},{"key":"529_CR37","unstructured":"Ruscito, A.: Pycomm: a collection of modules used to communicate with PLCs. (2017) https:\/\/github.com\/ruscito\/pycomm. Accessed 8 Aug 2019"},{"key":"529_CR38","doi-asserted-by":"crossref","unstructured":"Senthivel, S., Dhungana, S., Yoo, H., Ahmed, I., Roussev, V.: Denial of engineering operations attacks in industrial control systems. In: Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, pp. 319\u2013329. ACM (2018)","DOI":"10.1145\/3176258.3176319"},{"key":"529_CR39","unstructured":"Seshadri, A., Perrig, A., van Doorn, L., Khosla, P.: Using software-based attestation for verifying embedded systems in cars. In: Proceedings of the Embedded Security in Cars Workshop, vol. 4 (2004)"},{"key":"529_CR40","unstructured":"Tan, C.: SMRT fined record \\$5.4 million for July 7 breakdown (2016). https:\/\/www.straitstimes.com\/singapore\/transport\/smrt-fined-record-54-million-for-july-7-breakdown#:~:text=SINGAPORE%20-%20Rail%20operator%20SMRT%20Corp,West%20lines%20on%20July%207.&text=Investigations%20narrowed%20the%20root%20cause,and%20Raffles%20Place%20MRT%20stations. Accessed 3 Jan 2020"},{"key":"529_CR41","doi-asserted-by":"crossref","unstructured":"Umer, M.A., Mathur, A., Junejo, K.N., Adepu, S.: Integrating design and data centric approaches to generate invariants for distributed attack detection. In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, pp. 131\u2013136 (2017)","DOI":"10.1145\/3140241.3140248"},{"key":"529_CR42","doi-asserted-by":"crossref","unstructured":"Xu, J., Zhou, J.: Virtually isolated network: a hybrid network to achieve high level security. In: IFIP Annual Conference on Data and Applications Security and Privacy, pp. 299\u2013311. Springer, Berlin (2018)","DOI":"10.1007\/978-3-319-95729-6_19"},{"key":"529_CR43","doi-asserted-by":"crossref","unstructured":"Yang, Z., Jin, C., Tian, Y., Lai, J., Zhou, J.: LiS: lightweight signature schemes for continuous message authentication in cyber-physical systems. In: Proceedings of Asia Conference on Computer and Communications Security, pp. 719\u2013731. ACM (2020)","DOI":"10.1145\/3320269.3372195"},{"key":"529_CR44","doi-asserted-by":"crossref","unstructured":"Yavuz, A.A., Ozmen, M.O.: Ultra lightweight multiple-time digital signature for the internet of things devices. IEEE Trans. Serv. Comput. 1, (2019). https:\/\/doi.org\/10.1109\/TSC.2019.2928303","DOI":"10.1109\/TSC.2019.2928303"},{"key":"529_CR45","unstructured":"Zhou, L., Guo, H., Li, D., Wong, J. W., Zhou, J.: Mind the gap: security analysis of metro platform screen door system. In: SG-CRC, pp. 70\u201385. IoS Press (2017)"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-020-00529-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10207-020-00529-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-020-00529-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T10:50:42Z","timestamp":1670669442000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10207-020-00529-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,4]]},"references-count":45,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["529"],"URL":"https:\/\/doi.org\/10.1007\/s10207-020-00529-0","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,4]]},"assertion":[{"value":"4 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"We did not use animals and Human participants in the study reported in this work.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}