AWGN 信道中有限块长度的隐蔽通信
摘要
隐蔽通信是为了实现从发送器到接收器的可靠传输,同时保证该传输被看守者检测到的概率为任意小。 在这项工作中,我们研究了有限块长度的 AWGN 信道中的隐蔽通信,其中信道使用的数量是有限的。 具体来说,我们分析证明,应该利用整个块(所有可用的信道使用)来最大化传输的有效吞吐量,以满足预定的隐蔽要求。 这是一个不平凡的结果,因为更多的信道使用导致管理员进行更多的观察来检测传输。 我们还确定了每个通道使用的最大允许发射功率,该功率随着块长度的增加而降低。 尽管每个信道使用的最大允许发射功率下降,但整个块的最大允许总功率被证明随着块长度的增加而增加,这导致有效吞吐量随着块长度的增加而增加。
我简介
在未来的无线网络中,对无线数据的需求正在以如此快的速度增长,在未来五到十年内需要将容量增加到目前的 1000 倍。 在此背景下,由于大量机密信息(例如电子邮件/银行帐户信息和密码、信用卡详细信息)通过无线网络传输,因此对无线通信的安全性和隐私性的关键关注日益凸显。 除了传输信息的保密性和完整性之外,在一些场景中,用户可能希望通过无线网络传输消息而不被检测到。 这是因为(例如)此传输的暴露可能会泄露用户的位置信息,这可能会侵犯用户的隐私。 因此,隐蔽通信最近吸引了越来越多的研究兴趣(例如,[1,2,3])。 在秘密通信中,发送者(Alice)打算与合法接收者(Bob)进行通信,而不会被正在观察此通信的典狱长(Willie)发现。
事实上,隐蔽通信早在 20 世纪初就已通过扩频技术得以解决,有关扩频技术的综述可参见[4]。 然而,隐蔽通信的性能限制尚未在文献中得到充分检验,并且最近引起了很多研究关注。 考虑到加性白高斯噪声(AWGN)信道,[5]中推导出了一个平方根定律,即 Alice 可以在 信道中使用不超过 比特的信道隐蔽、可靠地向 Bob 传输数据。 继[5]之后,信息量相对于平方根的缩放常数被表征为广泛的离散无记忆通道(DMC)和AWGN通道在[6]中。 我们注意到,这个平方根定律要求在 Alice 传输之前在 Alice 和 Bob 之间建立一个预共享的秘密。 对于二元对称信道(BSC)[7],当从Alice到Bob的信道质量高于从Alice到Willie的信道质量时,这个预共享秘密对于平方根定律来说是不必要的, DMC [8] 和 AWGN 通道 [8]。
在平方根定律中,我们将 视为 ,它表明速率渐近为零(即,每个通道可以渐进且可靠地传输的平均位数)接近于零)。 然而,在某些情况下,已证明可以实现正率(例如,[7,9,10,11,12,13])。 例如,证明当Willie对AWGN通道[11, 13]中的接收机噪声方差具有不确定性时,当Willie不完全知道BSC中的接收机噪声模型时,可以获得正率信道 [7],或者当 Willie 不了解 AWGN 中的信道特性和块衰落信道 [12, 13] 时。 除了噪声或信道不确定性之外,正如[10]中所证明的,当 Willie 对通信时刻具有不确定性时,也可以获得正速率。
在上述工作中看到的文献中,只有[11]提到了有限样本(即有限)对Willie检测性能的影响。 数值显示,由于威利的噪声不确定性,可能存在一个最佳样本数量,可以在 的条件下最大化通信速率,其中 是误报和漏检的总和Willie 和 的比率是一个任意小的数字。 除了 Willie 的检测性能之外,有限的 也对从 Alice 到 Bob 的通道的最大可实现速率 有显着影响(即,最大可实现速率随着 对于固定的解码错误概率)[14]会降低,这在隐蔽通信的文献(包括[11])。 因此,有限对隐蔽通信的影响尚未得到很好的检验。 这使得我们对实际隐蔽通信的性能限制的理解存在很大差距,因为实际上码字的长度总是有限的。 例如,为了实现传输效率(例如,短延迟),我们可能要求车对车通信或实时视频的码字较短(例如,按照通道使用的顺序)处理[15]。
I-A 我们的贡献
考虑到 AWGN 信道,我们研究了有限对秘密通信中 Bob 的最大可实现速率和 Willie 的检测性能的影响。 为此,注意到当有限时解码错误概率不可忽略,我们首先建议采用有效吞吐量(即)服从,作为评估隐蔽通信的性能指标。 从的定义可以看出,它明确地捕获了给定隐蔽性的、和之间的权衡。要求。
我们考虑使用 通道的最大块长度,其中需要传输隐藏信息。 因此,实际使用通道数受到的限制。 虽然较大的 为 Willie 提供了更多的观察结果来检测传输,但我们分析证明,在给定的隐蔽要求下,最大化 的 的最佳值是 (即具有所有可用通道使用的整个块)。 我们还确定了实现最大 的每个通道使用的最大允许发射功率(用 表示)。 我们的检查显示 随着 的增加而减少,这是因为增加 迫使 Alice 为每个通道分配更少的功率以满足隐性要求。 尽管如此,我们表明最大允许总发射功率(即)随着的增加而增加,这导致从Alice到Bob的通信的有效吞吐量增加随着 的增加。 本文的结果首次为有限块长度的隐蔽通信的设计提供了重要的见解。
符号:标量变量用斜体符号表示。 向量和矩阵分别用小写和大写粗体符号表示。 给定向量 , 表示 的第 元素。 期望由 表示, 表示均值和方差均为零的圆对称复正态分布 。
II 系统模型
II-A 渠道模式
![Refer to caption](x1.png)
用于隐蔽通信的系统模型如图1所示,其中Alice、Bob 和Willie 均配备了单个天线。 我们假设从 Alice 到 Bob 的信道以及从 Alice 到 Willie 的信道仅受 AWGN 的影响。 在隐蔽通信中,Alice将每个码字中的复值符号()传输给Bob,而Willie则被动地收集 对 Alice 的传输进行观察,以检测她的存在(即,Alice 是否正在传输)。 在这项工作中,我们认为码字的长度受到 表示的最大块长度的约束。因此,我们将 作为对 的约束。我们将 Bob 和 Willie 处的 AWGN 分别表示为 和 ,其中 、、 和 分别是 Bob 和 Willie 处的噪声方差。 另外,我们假设、和是相互独立的。 我们将 Alice 的发射功率表示为 (即 )。 此外,我们假设Alice采用高斯信令,即。
II-B 有限块长度的信道编码率
Bob 处每个信号符号的接收信号由下式给出
(1) |
正如[14]所指出的,当有限时,Bob处的解码错误概率不可忽略。 因此,对于给定的解码错误概率,从Alice到Bob的信道的信道编码率可以近似为[14, 16]
(2) |
其中 是 Bob 处的信噪比 (SNR), 是反 Q 函数。 等价地,对于给定的信道编码率,Bob处的解码错误概率由下式给出
(3) |
II-C 威利的二元假设检验
为了检测爱丽丝的存在,威利要区分以下两个假设
(4) |
其中 表示 Alice 未传输的原假设, 表示 Alice 正在传输的备择假设, 是 Willie 处接收到的信号。 根据第 II-A 节中详细说明的假设,我们将 和 下的 的似然函数设为 和 ,分别。 在覆盖通信中,Willie 的最终目标是最小化总错误率,其由下式给出
(5) |
其中是误报率,是漏检率,和是推断Alice是否分别存在或不存在。 我们假设 Willie 准确地知道 和 ,因此最小化 的最佳测试是使用 进行似然比测试作为阈值111我们注意到,是由于未知或相等的先验概率,即 和 是未知或相等的,其中 是 a priori 概率,即 为真, 是 a priori 概率,即 为真,以及 。 如果 和 都已知,则总错误率将重新表述为 ,并且最小化此重新表述的 的最佳测试为使用进行似然比检验。 我们还注意到,在秘密通信文献中普遍采用相等的先验概率的假设(例如[5,10,11])。,由下式给出
(6) |
执行一些代数运算后,(6) 可以重新表述为
(7) |
其中 是 Willie 处每个接收符号的平均功率, 是 的阈值,由下式给出
(8) |
根据 (6) 和 (7),我们注意到,当 Willie 准确地知道似然函数时(即没有嵌入任何干扰参数),辐射计确实是最佳检测器在似然函数中)。 遵循 (7) 并注意 是具有 自由度的卡方随机变量,给出了误报率和漏检率通过 [9, 11]
(9) | ||||
(10) |
其中 是 gamma 函数, 是不完全 gamma 函数,由下式给出
(11) |
将辐射计作为最佳检测器,根据 Pinsker 不等式,我们得到 的下界,由 [5, 17, 18] 给出
(12) |
其中 是从 到 的 Kullback-Leibler (KL) 散度,可以表示为
(13) |
II-D 隐性要求
III 使用有限数量的通道进行隐蔽通信
在本节中,我们首先采用有效吞吐量来评估有限块长度的 AWGN 信道中的隐蔽通信性能。 然后,我们根据隐蔽要求确定最大化有效吞吐量的最佳 和 。
III-A 有效吞吐量
平方根定律规定,Alice 可以在 通道中秘密且可靠地向 Bob 传输不超过 位。 当时获得这样的标度律结果。 因此,这些平方律结果不能应用于有限的秘密通信。在这项工作中,我们关注的是对于给定的正,可以从 Alice 可靠地传输到 Bob 的信息量。 注意到有限块长度信道的解码错误概率不可忽略,我们采用从Alice到Bob的有效吞吐量作为有限块长度隐蔽通信的主要性能指标,同时利用隐蔽需求作为约束。 从Alice到Bob的有效吞吐量定义为[20, 19]
(14) |
我们注意到,给出了利用有限长度的码字可以从Alice可靠地传输到Bob的信息比特的平均数量(不包括遭受解码错误的信息比特)。
III-B 最佳信道使用数量和发射功率
我们在隐蔽通信设计的最终目标是在保证隐蔽要求的同时实现最大的有效吞吐量。 为此,我们首先考虑固定信道编码率 ,并重点关注信道使用次数和发射功率 的设计,因为 和 的设计会影响从 Alice 到 Bob 的有效吞吐量以及 Willie 的检测性能。 因此,对于给定的,感兴趣的隐蔽通信中的优化问题可以写为
(15) | |||
(16) | |||
(17) |
定理1
证明:
详细证明见附录。 ∎
根据定理 1,我们发现 Alice 最好在用于隐蔽通信的所有可用信道上进行传输,前提是传输功率经过优化以保持相同水平的隐蔽性,尽管 Willie 有更多当 较大时的观察结果。 当 变大时,通过降低发射功率可以达到相同的隐蔽性水平,这可以从 (19) 中看出, 随着 的减小而减小。值得注意的是, 和 都不是 的函数。这表明,无论信道编码率 的值是多少,得到的 和 都是全局最优值。因此,在满足隐蔽要求的前提下,可以通过以下方法获得使有效吞吐量最大化的 最佳值
(20) |
其中是将和代入(3)得到的。 我们注意到,在 和 的情况下,还可以通过搜索 的最优值,使 最大化,从而得到 。 我们定义 ,并将最大有效吞吐量表示为 ,将 、、 和 代入 (14) 即可。
IV 数值结果
在本节中,我们提供了受影响的有效吞吐量的数值结果,以验证我们对以为约束的隐蔽通信的分析。
![Refer to caption](x2.png)
在图2中,我们绘制了整个块的最大允许总发射功率与的关系。 在此图和下图中, 的曲线是通过根据 (9) 和 (10) 对误报率和检测率进行数值评估来获得的>) 分别。 在该图中,我们观察到以为约束的高于以为约束的。 这是因为在所考虑的系统模型中无法实现 (12) 中的等式,因此 是比 更严格的约束>。 我们还观察到, 随着 的增加而增加(因此有效吞吐量增加),这可以通过我们的定理 1 来解释。 最后,我们观察到 随着 的减少而减少(因此有效吞吐量减少),这表明了隐蔽要求和可实现的有效吞吐量之间的权衡(例如,更严格的隐蔽要求)要求导致较小的有效吞吐量)。
![Refer to caption](x3.png)
在图 3 中,我们绘制了 、、 和 与 分别在不同的子图中。 正如预期的那样,我们首先在图3(a)和图2(a)中观察到和随着的增加而单调增加。分别为 3 (b)。 虽然如图3(a)所示增加,但有趣的是观察到最大允许发射功率随着在图3(c)中增加。 这可以通过定理 1 中的 (19) 来解释。 直观上,这是因为随着威利观测数量的增加,爱丽丝必须降低发射功率才能满足威利相同的检测性能。 在图3(d)中,我们观察到每个通道使用的有效吞吐量(即)随着的增加而单调增加。 这是因为增加 导致 的减少(即 (3) 中给出的解码错误概率)大于减少引起增加,如图3(c)所示。 上述基于图 3 的观察表明,增加 不仅有助于 Alice 为每个信道使用分配更少的发射功率以保持相同水平的隐蔽性,而且降低了从 Alice 到 Bob 的通信中的解码错误概率,从而提高了隐蔽通信的有效吞吐量。
![Refer to caption](x4.png)
V 结论
这项工作研究了 AWGN 信道上有限块长度(即有限数量的信道使用 )的隐蔽通信。 我们证明,当利用所有可用信道时,即,隐蔽通信的有效吞吐量最大化。 为了保证相同程度的隐蔽性,每个通道使用的最大允许发射功率随着的增加而减小,而所有通道使用的最大允许总发射功率随着的增加而增加。 相反,我们发现有效吞吐量和每个通道使用的有效吞吐量都随着 的增加而增加。 这是因为增加不仅减少了分配给每个信道使用的发射功率,而且还降低了从Alice到Bob的通信的解码错误概率。
致谢
这项工作得到了澳大利亚研究委员会发现项目 (DP150103905) 的支持。
![Refer to caption](x5.png)
附录
我们通过以下 6 个步骤展示定理 1 的证明。
步骤1: 我们注意到和都是和的单调递增函数。因此,我们可以得出结论,为了最大化 ,总是满足约束 (16) 中的等式。 因此,我们有 和接下来的 (13) 我们有
(21) |
在哪里
(22) |
是 Willie 的 SNR。
步骤3: 接下来,我们不是直接证明 可以最大化有效吞吐量,而是证明 在以下条件下最大化 (即最大化 ):其余步骤中的约束 (21)。 这是因为 是 信道使用的总发射功率,有效吞吐量随着总发射功率的增加而增加 [14]。
步骤4: 接下来我们证明 或 可以最大化 。 为此,下面我们首先展示随着先减小然后增大。根据 (21) 和 (22),我们有
(24) |
其中 由下式给出
(25) |
然后我们推导出 对于 的一阶导数:
(26) |
在哪里
(27) |
我们注意到对于对于只有两种解决方案,包括和。222通过数值求解得到。 我们还注意到,作为 ,我们有 。 然后,我们可以得出结论,对应,对应。 因此,注意 和以下 (26),我们有 代表 和 代表。 这表明 首先随 增大,然后减小。 根据 (24),我们知道 随着 单调递减,这导致 首先递减,然后随着 的增加而增加(即 有一个最小值但没有最大值)。 我们回想一下, 是在约束 (21) 下 的单调递减函数,其证明如下 (23 )。 因此,我们得出结论,随着的增加,先减小然后增加,因此的最大值在处达到> 或。
第5步: 接下来我们证明 (不是 )最大化 。 将代入(21),我们得到。 对于,由于,我们有。 当时,由于,随增加。 因此,对于,最大化的的最佳值为(即) 。 对于,由于,我们再次得到。 接下来我们确认,即使对于 ,我们仍然有 。 为此,我们只需确认中的大于中的即可。 当时,在(21)之后我们有。 保证(即)的的最大值是在自以来的时获得的由 (23) 证明的 的单调递增函数。 我们通过将 解析为 来获得该最大值,当 时,这会导致 。 当时,在(21)之后我们有。 保证(即)的最小值是在时获得的。 我们通过将 解为 来获得该最小值,当 时,这会导致 。 因此,当 时,我们有 ,当 时,我们有 ,这导致 时的 大于 时的 。 我们记得,当时,随着单调增加。 因此,对于,最大化的的最佳值为。
参考
- [1] P. H. Che, S. Kadhe, M. Bakshi, C. Chan, S. Jaggi, and A. Sprintson, “Reliable, deniable and hidable communication: A quick survey,” in Proc. IEEE Inf. Theory Workshop, Nov. 2014, pp. 227–231.
- [2] B. A. Bash, D. Goeckel, D. Towsley, and S. Guha, “Hiding information in noise: Fundamental limits of covert wireless communication,” IEEE Commun. Mag., vol. 53, no. 12, pp. 26–31, Dec. 2015.
- [3] B. He, S. Yan, X. Zhou, and V. Lau, “On covert communication with noise uncertainty,” IEEE Commun. Lett., accepted to appear, DOI: 10.1109/LCOMM.2016.2647716, Dec. 2016.
- [4] M. K. Simon, Jim K. Omura, Robert A. Scholtz, and Barry K. Levitt, Spread Spectrum Communications Handbook, McGraw-Hill, 1994.
- [5] B. Bash, D. Goeckel, and D. Towsley, “Limits of reliable communication with low probability of detection on AWGN channels,” IEEE J. Sel. Areas Commun., vol. 31, no. 9, pp. 1921–1930, Sep. 2013.
- [6] L. Wang, G. Wornell, and L. Zheng, “Fundamental limits of communication with low probability of detection,” IEEE Trans. Inf. Theory, vol. 62, no. 6, pp. 3493–3503, Jun. 2016.
- [7] P. H. Che, M. Bakshi, and S. Jaggi, “Reliable deniable communication: Hiding messages in noise,” in Proc. IEEE Int’l. Symp. Info. Theory, Jul. 2013, pp. 2945–2949.
- [8] M. R. Bloch, “Covert communication over noisy channels: A resolvability perspective,” IEEE Trans. Inf. Theory, vol. 62, no. 5, pp. 2334–2354, May 2016.
- [9] S. Lee and R. Baxley, “Achieving positive rate with undetectable communication over AWGN and Rayleigh channels,” in Proc. IEEE ICC, 2014, Jun. 2014, pp. 780–785.
- [10] B. A. Bash, D. Goeckel, and D. Towsley, “LPD communication when the warden does not know when,” in Proc. IEEE Int. Symp. Inf. Theory, Jul. 2014, pp. 606–610.
- [11] S. Lee, R. J. Baxley, M. A. Weitnauer, and B. Walkenhorst, “Achieving undetectable communication,” IEEE J. Sel. Topics Signal Process., vol. 9, no. 7, pp. 1195–1205, Oct. 2015.
- [12] T. Sobers, B. Bash, D. Goeckel, S. Guha, and D. Towsley, “Covert communication with the help of an uninformed jammer achieves positive rate,” in Proc. Asilomar Conf. on Signals, Systems, and Comput., Nov. 2015, pp. 625–629.
- [13] D. Goeckel, B. Bash, S. Guha, and D. Towsley, “Covert communications when the warden does not know the background noise power,” IEEE Commun. Lett., vol. 20, no. 2, pp. 236–239, Feb. 2016.
- [14] Y. Polyanskiy, H. Poor, and S. Verdu, “Channel coding rate in the finite blocklength regime,” IEEE Trans. Inf. Theory, vol. 56, no. 5, pp. 2307–2359, May 2010.
- [15] B. Makki, T. Svensson, and M. Zorzi, “Finite block-length analysis of spectrum sharing networks using rate adaptation,” IEEE Trans. Commun., vol. 63, no. 8, pp. 2823–2835, Aug. 2015.
- [16] G. Ozcan andM. C. Gursoy, “Throughput of cognitive radio systems with finite blocklength codes,” IEEE J. Sel. Areas Commun., vol. 31, no. 11, pp. 2541–2554, Nov. 2013.
- [17] E. Lehmann and J. Romano, Testing Statistical Hypotheses, 3rd ed. New York: Springer, 2005.
- [18] T. M. Cover and J. A. Thomas, Elements of Information Theory, 2nd ed. John Wiley & Sons, Hoboken, NJ, 2002.
- [19] X. Zhou, M. R. McKay, B. Maham, and A. Hjørungnes, “Rethinking the secrecy outage formulation: A secure transmission design perspective,” IEEE Commun. Lett., vol. 15, no. 3, pp. 302–304, Mar. 2011.
- [20] S. Yan, N. Yang, G. Geraci, R. Malaney, and J. Yuan, “Optimization of code rates in SISOME wiretap channels,” IEEE Trans. Wireless Commun., vol. 14, no. 11, pp. 6377–6388, Nov. 2015.