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.
翻译:远程控制移动机器人是信息物理系统(CPS)的重要范例。近年来,这类机器人正被部署于许多安全关键型应用中,因此确保其网络安全性至关重要。为保护此类系统免受复杂网络攻击,现有多种控制方案要求智能执行器与远程控制器之间进行秘密消息交换,但这些方案通常需要预共享密钥或建立支持密钥协商的公钥基础设施(PKI)。此类密码学方法未必适用于远程移动机器人的部署环境。针对该问题,本文提出一种无需传统密码学技术的控制理论方法,用于在远程控制机器人与网络控制器之间建立秘密密钥。我们的密钥协商方案利用非线性未知输入观测器和纠错编码机制,使机器人能够与远程控制器安全地协商共享密钥。为验证所提方案,我们采用Khepera-IV差动驱动机器人进行实现,并评估其效率及引入的额外控制成本。实验结果证实了所提密钥建立方案的有效性。