Affiliation:
1. Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea
Abstract
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’s performance for resolving the incompatibility.
Funder
Institute of Information and Communications Technology Planning and Evaluation
Korean government
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications
Reference46 articles.
1. Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
2. Learning regular sets from queries and counterexamples;Angluin Dana;Information and Computation,1987
3. The nonstochastic multiarmed bandit problem;Auer Peter;SIAM Journal on Computing,2002
4. Automated synthesis of application-layer connectors from automata-based specifications;Autili Marco;Journal of Computer and System Sciences,2019
5. The role of models@ run.time in supporting on-the-fly interoperability;Bencomo Nelly;Computing,2013