{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:53Z","timestamp":1750220753731,"version":"3.41.0"},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T00:00:00Z","timestamp":1634860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Institute of Information and Communications Technology Planning and Evaluation"},{"name":"Korean government","award":["2019-0-01126"],"award-info":[{"award-number":["2019-0-01126"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Internet Technol."],"published-print":{"date-parts":[[2022,5,31]]},"abstract":"<jats:p>Incompatible updates of IoT systems and protocols give rise to interoperability problems. Even though various protocol adaptation and unknown protocol inference schemes have been proposed, they either do not work where the updated protocol specifications are not given or suffer from inefficiency issues. In this work, we present an efficient protocol inference scheme for incompatible updates in IoT environments. The scheme refines an active automata learning algorithm, L*, by incorporating a knowledge base of the legacy protocol behavior into its membership query selection procedure for updated protocol behavior inference. It also infers protocol syntax based on our previous work that computes the most probable message field updates and adapts the legacy protocol message accordingly. We evaluate the proposed scheme with two case studies with the most popular IoT protocols and prove that it infers updated protocols efficiently while improving the L* algorithm\u2019s performance for resolving the incompatibility.<\/jats:p>","DOI":"10.1145\/3430501","type":"journal-article","created":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T03:14:43Z","timestamp":1634958883000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An Efficient Interaction Protocol Inference Scheme for Incompatible Updates in IoT Environments"],"prefix":"10.1145","volume":"22","author":[{"given":"Heesuk","family":"Son","sequence":"first","affiliation":[{"name":"Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea"}]},{"given":"Dongman","family":"Lee","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea"}]}],"member":"320","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928042"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539701398375"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2019.03.001"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-012-0224-x"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2364844"},{"key":"e_1_3_2_8_2","first-page":"133","volume-title":"Proceedings of the International Symposium on Formal Methods for Components and Objects","author":"Bennaceur Amel","year":"2011","unstructured":"Amel Bennaceur, Val\u00e9rie Issarny, Richard Johansson, Alessandro Moschitti, Romina Spalazzese, and Daniel Sykes. 2011. Automatic service categorisation through machine learning in emergent middleware. In Proceedings of the International Symposium on Formal Methods for Components and Objects. 133\u2013149."},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/IOT.2014.7030119"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2011.65"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653737"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC.2007.14"},{"key":"e_1_3_2_13_2","unstructured":"Eclipse Foundaion. 2017. Eclipse Paho (1.2.0). Retrieved September 24 2021 from https:\/\/www.eclipse.org\/paho\/."},{"key":"e_1_3_2_14_2","unstructured":"ej-technologies. 2018. JProfiler. Retrieved September 24 2021 from https:\/\/www.ej-technologies.com\/products\/jprofiler\/overview.html."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2013.55"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10702-8_6"},{"key":"e_1_3_2_17_2","unstructured":"Hans Freudenthal. 1961. Lincos design of a language for cosmic intercourse part I studies in logic and the foundations of mathematics. (1961)."},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.5555\/2442626.2442641"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/2124418"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2014.2347992"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/IE.2012.57"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99828-2_11"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2019.2893872"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/26.494307"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/EIDWT.2013.71"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2013.01.013"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.62"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/1772690.1772765"},{"key":"e_1_3_2_30_2","unstructured":"Eclipse Foundation. 2017. Moquette MQTT. Retrieved September 24 2021 from https:\/\/projects.eclipse.org\/projects\/iot.moquette."},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2006.5"},{"key":"e_1_3_2_32_2","unstructured":"Netty Project. 2018. Netty Project (4.1.25). Retrieved September 24 2021 from http:\/\/netty.io\/."},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.5555\/2821575"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.07.040"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2011.5766875"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2014.09.011"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.5555\/1667715.1667717"},{"key":"e_1_3_2_38_2","unstructured":"Jan S. Rellermeyer. 2008. JSLP project Java Service Location Protocol Retrieved October 4 2021 from http:\/\/jslp.sourceforge.net"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2018.00113"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2016.2579198"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.02.007"},{"key":"e_1_3_2_42_2","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-642-21455-4_8","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"Steffen Bernhard","year":"2011","unstructured":"Bernhard Steffen, Falk Howar, and Maik Merten. 2011. Introduction to active automata learning from a practical perspective. In Formal Methods for Eternal Networked Software Systems. Lecture Notes in Computer Science, Vol. 6659. Springer, 256\u2013296."},{"key":"e_1_3_2_43_2","first-page":"325","volume-title":"Proceedings of the European Symposium on Research in Computer Security","author":"Stone Chris McMahon","year":"2018","unstructured":"Chris McMahon Stone, Tom Chothia, and Joeri de Ruiter. 2018. Extending automated protocol state learning for the 802.11 4-way handshake. In Proceedings of the European Symposium on Research in Computer Security. 325\u2013345."},{"issue":"3","key":"e_1_3_2_44_2","first-page":"34","article-title":"Vision and challenges for realising the Internet of Things","volume":"3","author":"Sundmaeker Harald","year":"2010","unstructured":"Harald Sundmaeker, Patrick Guillemin, Peter Friess, and Sylvie Woelffl\u00e9. 2010. Vision and challenges for realising the Internet of Things. Cluster of European Research Projects on the Internet of Things, European Commission 3, 3 (2010), 34\u201336.","journal-title":"Cluster of European Research Projects on the Internet of Things, European Commission"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.32"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/PDCAT.2011.25"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2014.10.004"}],"container-title":["ACM Transactions on Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3430501","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3430501","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:57Z","timestamp":1750199937000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3430501"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,22]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,5,31]]}},"alternative-id":["10.1145\/3430501"],"URL":"https:\/\/doi.org\/10.1145\/3430501","relation":{},"ISSN":["1533-5399","1557-6051"],"issn-type":[{"type":"print","value":"1533-5399"},{"type":"electronic","value":"1557-6051"}],"subject":[],"published":{"date-parts":[[2021,10,22]]},"assertion":[{"value":"2019-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}