[论文解读] A Covert Queueing Channel in Round Robin Schedulers

AmirEmad Ghassami, Ali Yekkehkhany+1 more|arXiv (Cornell University)|Jan 31, 2017

Internet Traffic Analysis and Secure E-voting参考文献 24被引用 3

一句话总结

本文提出了一种信息论框架，用于建模和分析轮转调度器中的隐蔽队列信道（CQC），其中两名用户通过调制其作业到达模式来推断彼此的延迟。作者在无噪声情况下推导出容量约为每时隙 0.6942 比特，并提供了渐近逼近该极限的有限长度编码构造。

ABSTRACT

We study a covert queueing channel (CQC) between two users sharing a round robin scheduler. Such a covert channel can arise when users share a resource such as a computer processor or a router arbitrated by a round robin policy. We present an information-theoretic framework to model and derive the maximum reliable data transmission rate, i.e., the capacity of this channel, for both noiseless and noisy setups. Our results show that seemingly isolated users can communicate with a high rate over the covert channel and demonstrate the possibility of significant information leakage and privacy threats brought by CQCs in round robin schedulers. Moreover, we propose practical finite-length code constructions, which achieve the capacity limit.

研究动机与目标

• 为轮转调度器中由于用户间服务延迟相互依赖而产生的隐蔽队列信道（CQC）建立模型并进行分析。
• 在无噪声和有噪声条件下，确定此类 CQC 的最大可靠数据传输速率（容量）。
• 设计可实现理论容量极限的实用有限长度编码方案。
• 评估分组丢失对信道容量的影响，并推导出以丢包概率为函数的容量表达式。

提出的方法

• 构建一个系统模型，其中 Alice 和 Bob 共享一个轮转调度器，信息通过作业到达时间进行编码，从而引发可观测的延迟。
• 基于互信息和数据处理不等式的信息论框架，推导出信道容量的上界。
• 应用斯特林公式和二项熵函数 $ h(p) $，分析码本大小的渐近行为，并推导出容量表达式 $ C = \max_p \frac{h(p)}{1+p} $。
• 提出一种基于二项码本的有限长度编码方案，码字数量为 $ \binom{l}{\lfloor lp \rfloor} $，其速率在 $ l \to \infty $ 时收敛至容量。
• 将有噪声的 CQC 建模为具有分组丢失的 Z 信道，推导出容量为 $ \max_p \frac{h((1-\delta)p) - p h(\delta)}{(1-p) + \delta p + 2(1-\delta)p} $，其中 $ \delta $ 为分组丢包概率。
• 利用法诺不等式和随机编码论证，建立可达性和对偶性证明，以验证推导出的容量。

实验结果

研究问题

• RQ1 在无噪声条件下，轮转调度器中隐蔽队列信道的最大可靠数据传输速率（容量）是多少？
• RQ2 分组丢失的存在如何影响隐蔽队列信道的容量？
• RQ3 能否构建出渐近逼近 CQC 理论容量的实用有限长度编码方案？
• RQ4 与 FCFS 或 TDMA 等其他调度策略相比，CQC 容量在信息泄露和隐私风险方面有何差异？
• RQ5 Alice 应采用何种最优信号调制策略，通过其作业到达模式编码信息，使得 Bob 能够通过观测延迟进行解码？

主要发现

• 在无噪声轮转调度器中，隐蔽队列信道的容量约为每时隙 0.6942 比特，推导为 $ \max_p \frac{h(p)}{1+p} $。
• 基于二项码本、码字数为 $ \binom{l}{\lfloor lp \rfloor} $ 的有限长度编码方案，其传输速率在消息数 $ l \to \infty $ 时渐近收敛至理论容量。
• 在存在分组丢失的情况下，信道容量为 $ \max_p \frac{h((1-\delta)p) - p h(\delta)}{(1-p) + \delta p + 2(1-\delta)p} $，其中 $ \delta $ 为分组丢包概率。
• 随着码块长度增加，所提出的编码方案可实现任意低错误概率的可靠通信，证实了推导容量的可达性。
• 结果表明，尽管轮转调度器是吞吐量最优的，但其通过 CQC 存在显著的信息泄露，构成严重的隐私威胁。
• 与 TDMA（隐私最优但吞吐量非最优）相比，轮转调度中的 CQC 容量更高，凸显了性能与安全之间的权衡。