[论文解读] On the Achievable Error Region of Physical Layer Authentication Techniques over Rayleigh Fading Channels

Augusto Ferrante, Nicola Laurenti+3 more|arXiv (Cornell University)|Mar 4, 2013

Wireless Communication Security Techniques参考文献 21被引用 13

一句话总结

本文推导了在瑞利衰落信道中物理层认证的可实现错误区域的外边界，其中攻击者利用相关信道估计的辅助信息。证明了最紧的边界由联合高斯伪造策略实现，最优协方差通过非线性矩阵方程的迭代求解获得，从而确保错误概率区域的局部最小值。

ABSTRACT

For a physical layer message authentication procedure based on the comparison of channel estimates obtained from the received messages, we focus on an outer bound on the type I/II error probability region. Channel estimates are modelled as multivariate Gaussian vectors, and we assume that the attacker has only some side information on the channel estimate, which he does not know directly. We derive the attacking strategy that provides the tightest bound on the error region, given the statistics of the side information. This turns out to be a zero mean, circularly symmetric Gaussian density whose correlation matrices may be obtained by solving a constrained optimization problem. We propose an iterative algorithm for its solution: Starting from the closed form solution of a relaxed problem, we obtain, by projection, an initial feasible solution; then, by an iterative procedure, we look for the fixed point solution of the problem. Numerical results show that for cases of interest the iterative approach converges, and perturbation analysis shows that the found solution is a local minimum.

研究动机与目标

• 为瑞利衰落信道中的物理层消息认证建立类型I和类型II错误概率的通用外边界。
• 在获得合法信道估计部分辅助信息的条件下，表征能收紧该边界的最优对抗策略。
• 开发一种高效数值算法，用于在高斯假设下计算最优攻击协方差矩阵。
• 通过数值分析和扰动分析验证所提迭代方法的收敛性和局部最优性。

提出的方法

• 将信道估计建模为相关复高斯向量，攻击者通过相关观测 z 获得辅助信息。
• 利用假设检验推导错误概率区域的外边界，其中攻击者的策略是伪造与 z 联合高斯的信号 y。
• 证明最优攻击策略为均值为零、圆对称的高斯信号，其协方差矩阵满足一组非线性矩阵方程组的解。
• 提出一种迭代算法：首先将问题松弛为闭式解，将其投影到可行集，然后迭代优化以逼近不动点解。
• 使用扰动分析验证该不动点为代价函数的局部最小值。
• 通过数值仿真评估收敛性、相对于松弛解的性能提升，以及对小参数扰动的鲁棒性。

实验结果

研究问题

• RQ1 在瑞利衰落信道中，物理层认证的可实现错误区域的最紧外边界是什么？
• RQ2 在获得合法信道估计相关辅助信息的条件下，攻击者应如何伪造消息以最大化错误概率区域？
• RQ3 最优攻击策略能否高效计算，且是否收敛到稳定解？
• RQ4 该算法找到的解是否为局部最小值，与次优松弛解相比表现如何？

主要发现

• 在所有测试情况下，迭代算法均收敛，且随着信道抽头数 n 增加，收敛速度提升。
• 松弛闭式解（45）在 n=2 时仅以 43% 的概率满足正定性约束，当 n≥8 时降至 0%，因此需要投影步骤。
• 与松弛解相比，迭代方法使代价函数改善了 20%–30%，且随着 n 增大，改善程度逐渐减小。
• 扰动分析表明，扰动初始解带来的改进可忽略不计，表明迭代方法已收敛至稳定的局部最小值。
• 代价函数的增加在 n 较小时最为显著，表明随着维度增加，松弛解渐近趋近可行区域。
• 该方法为任何在高斯假设下的物理层认证系统提供了一种可靠且高效的计算最紧错误区域边界的途径。