文献类型：期刊文献

英文题名：Coding for Secrecy in Remote State Estimation With an Adversary

作者：Luecke, Marvin[1];Lu, Jingyi[2];Quevedo, Daniel E.[3]

机构：[1]Zuse Inst Berlin, D-14195 Berlin, Germany;[2]East China Univ Sci & Technol, Key Lab Smart Mfg Energy Chem Proc, Minist Educ, Shanghai 200237, Peoples R China;[3]Queensland Univ Technol, Sch Elect Engn & Robot, Brisbane, Qld 4000, Australia

年份：2022

卷号：67

期号：9

起止页码：4955

外文期刊名：IEEE TRANSACTIONS ON AUTOMATIC CONTROL

收录：;EI(收录号：20221912091525);WOS:【SCI-EXPANDED(收录号:WOS:000848246200056)】；

基金：This work was supported in part by the German Research Foundation (DFG) under Grant 3050102303 and Grant 390685689 and in part by the National Natural Science Foundation of China under Grant 62136003.

语种：英文

外文关键词：Eavesdropping; privacy; remote state estimation; state-secrecy codes

摘要：We study the problem of remote state estimation in the presence of an eavesdropper. A sensor transmits state information over a packet-dropping link to a legitimate user. This information is randomly overheard by an eavesdropper. To reduce information leakage to the eavesdropper, previous studies have shown that by encoding the estimate with the acknowledgments (Acks), perfect secrecy can be achieved. However, this strategy greatly relies on the accuracy of the Acks and may easily fail if the Acks are compromised by cyberattacks. In this article, we tackle this issue by proposing to switch between sending an encoded state and sending the plain state to stay resilient against fake Acks. Specifically, we assume the Acks to be randomly attacked and derive recursive expressions for the minimum-mean-squared error estimates and error covariance matrices at the legitimate user and at the eavesdropper. Based upon this, we propose a transmission policy that depends on the probability of synchronization. We formulate a partially observable Markov decision process to model the evolution of the synchronization status and derive associated optimal transmission policies. Numerical examples are provided to verify the theoretical results.