Remotely controlled mobile robots are important examples of Cyber-Physical Systems (CPSs). Recently, these robots are being deployed in many safety critical applications. Therefore, ensuring their cyber-security is of paramount importance. Different control schemes that have been proposed to secure such systems against sophisticated cyber-attacks require the exchange of secret messages between their smart actuators and the remote controller. Thus, these schemes require pre-shared secret keys, or an established Public Key Infrastructure (PKI) that allows for key agreement. Such cryptographic approaches might not always be suitable for the deployment environments of such remotely mobile robots. To address this problem, in this paper, we consider a control theoretic approach for establishing a secret key between the remotely controlled robot and the networked controller without resorting to traditional cryptographic techniques. Our key agreement scheme leverages a nonlinear unknown input observer and an error correction code mechanism to allow the robot to securely agree on a secret key with its remote controller. To validate the proposed scheme, we implement it using a Khepera-IV differential drive robot and evaluate its efficiency and the additional control cost acquired by it. Our experimental results confirm the effectiveness of the proposed key establishment scheme.
翻译:远程控制的移动机器人是网络物理系统的重要例子。 最近,这些机器人正在许多关键的安全应用中部署。 因此,确保它们的网络安全至关重要。 为保障这些系统不受复杂的网络攻击而提出的不同控制方案要求其智能驱动器和远程控制器之间交换秘密信息。 因此,这些计划需要预先共享秘密密钥,或建立允许达成关键协议的公共密钥基础设施(PKI) 。 这种加密方法可能并不总是适合此类远程移动机器人的部署环境。 为了解决这个问题,我们在本文件中考虑一种控制理论方法,用于在遥控机器人和网络控制器之间建立一个秘密密钥,而不必使用传统的加密技术。我们的主要协议方案利用非线性未知输入观察器和错误校正代码机制,使机器人能够与远程控制器就秘密密钥达成安全协议。 为了验证拟议的计划,我们使用千普拉-IV差异驱动器实施该计划,并评估其效率和额外控制成本。 我们的实验结果证实了拟议的关键机制的有效性。</s>