{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T02:25:45Z","timestamp":1773195945986,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,8]]},"DOI":"10.1109\/acsacw69556.2025.00016","type":"proceedings-article","created":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T19:56:13Z","timestamp":1773086173000},"page":"99-109","source":"Crossref","is-referenced-by-count":0,"title":["Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types"],"prefix":"10.1109","author":[{"given":"Max","family":"Taylor","sequence":"first","affiliation":[{"name":"Boise State University,Department of Computer Science,Boise,US"}]},{"given":"Arthur","family":"Amorim","sequence":"additional","affiliation":[{"name":"University of Central Florida,Department of Computer Science,Orlando,US"}]},{"given":"Lance","family":"Joneckis","sequence":"additional","affiliation":[{"name":"Idaho National Laboratory,Research Accelerator Department,Idaho Falls,US"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSACW65225.2024.00020"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-93706-4_1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS65942.2025.11007915"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3587255"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454041"},{"key":"ref6","article-title":"Analysis of the 2014 cyberattack on a German steel mill that caused massive damage to a blast furnace through improper shutdown","volume-title":"German steel mill cyberattack: Case study","year":"2014"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.34"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.15394\/jdfsl.2014.1162"},{"key":"ref10","article-title":"Annual analysis of industrial network market focusing on newly installed nodes within factory automation globally","volume-title":"Industrial network market shares 2023. Technical report","year":"2023"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2827695"},{"key":"ref12","article-title":"A signature-based intrusion detection system for the internet of things","author":"Ioulianou","year":"2018","journal-title":"Information and Communication Technology Form"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.67"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23204"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2014.2312327"},{"key":"ref16","volume-title":"MITRE ATT&CK for ICS","year":"2024"},{"key":"ref17","article-title":"Implementation guide for MODBUS messaging service over TCP\/IP to facilitate interoperability between devices","volume-title":"Modbus messaging on tcp\/ip implementation guide. Technical report","year":"2006"},{"key":"ref18","article-title":"Technical specification defining the MODBUS application layer messaging protocol for client\/server communication between devices","volume-title":"Modbus application protocol specification. Technical report","year":"2012"},{"key":"ref19","article-title":"Graph convolutional network-based suspicious communication pair estimation for industrial control systems","author":"Oba","year":"2020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3689930.3695205"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.sintl.2024.100297"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2917135"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837655"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20757-0_3"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2980921"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1049\/cp.2013.1729"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2017.29"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3428216"}],"event":{"name":"2025 Annual Computer Security Applications Conference Workshops (ACSAC Workshops)","location":"Honolulu, HI, USA","start":{"date-parts":[[2025,12,8]]},"end":{"date-parts":[[2025,12,9]]}},"container-title":["2025 Annual Computer Security Applications Conference Workshops (ACSAC Workshops)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11417955\/11417996\/11418027.pdf?arnumber=11418027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T05:38:17Z","timestamp":1773121097000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11418027\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/acsacw69556.2025.00016","relation":{},"subject":[],"published":{"date-parts":[[2025,12,8]]}}}