[论文解读] Information Theoretic Security for Side-Channel Attacks to the Shannon Cipher System

Yasutada Oohama, Bagus Santoso|arXiv (Cornell University)|Jan 8, 2018

Wireless Communication Security Techniques参考文献 8被引用 6

一句话总结

本文通过将攻击建模为一个单辅助源编码问题，为香农密码系统在侧信道攻击下的信息论安全界限提供了理论分析。结合渡边和大浜的有界存储隐私放大结果与大浜的指数强大数定律定理，作者推导出新的保密界限，量化了在攻击者拥有密钥侧信道信息时，确保安全所需的最小密钥速率。

ABSTRACT

We study side-channel attacks for the Shannon cipher system. To pose side channel-attacks to the Shannon cipher system, we regard them as a signal estimation via encoded data from two distributed sensors. This can be formulated as the one helper source coding problem posed and investigated by Ahlswede, Körner(1975), and Wyner(1975). We further investigate the posed problem to derive new secrecy bounds. Our results are derived by a coupling of the result Watanabe and Oohama(2012) obtained on bounded storage evasdropper with the exponential strong converse theorem Oohama(2015) established for the one helper source coding problem.

研究动机与目标

• 解决香农密码系统在遭受泄露密钥信息的侧信道攻击时的安全漏洞问题。
• 将侧信道攻击建模为涉及两个传感器（密文与侧信道信息）的分布式信号估计问题，以单辅助源编码问题的形式呈现。
• 推导出新的信息论保密界限，量化在该类攻击下维持安全所需的最小密钥速率。
• 整合有界存储攻击者模型与指数强大数定律定理的结果，以建立紧密的保密极限。
• 为在现有系统中以最小修改实现安全增强提供理论基础，尤其适用于持续通信的实际部署场景。

提出的方法

• 将侧信道攻击场景建模为单辅助源编码问题，其中攻击者同时观测到密文与关于密钥的侧信道信息。
• 应用一助手源编码的指数强大数定律定理（Oohama, 2015），以限制从两个信号中估计源的错误概率。
• 结合渡边与大浜（2012）关于有界存储条件下隐私放大的编码定理，以建模攻击者有限内存与信息泄露的特性。
• 采用混合分析框架，结合典型集合论证与大偏差界，推导出源估计错误概率的指数衰减。
• 定义关键集合（B_n, C_n, D_n, E_n），以表征攻击者估计值、侧信道信息与密钥联合分布的典型行为，从而实现精确的错误概率界限。
• 推导出攻击者成功估计源的概率界限，表明在密钥速率约束下，该概率随块长 n 指数衰减。

实验结果

研究问题

• RQ1 当攻击者可同时访问密文与关于密钥的侧信道信息时，香农密码系统保密速率的根本极限是什么？
• RQ2 单辅助源编码框架如何应用于对称密钥密码系统中侧信道攻击的建模？
• RQ3 为使攻击者的估计错误概率随块长 n 指数衰减，所需的最小密钥速率是多少？
• RQ4 如何利用一助手源编码的指数强大数定律定理，在有界存储攻击者存在下推导出紧密的保密界限？
• RQ5 能否仅通过信息论原理的最小修改，使现有密码系统抵御侧信道攻击？

主要发现

• 本文证明，在所推导的保密界限下，攻击者从密文与侧信道信息中正确估计源的概率随块长 n 指数衰减。
• 攻击者错误概率的指数衰减速率由密钥速率、密钥与侧信道之间的互信息，以及源的熵共同决定。
• 所推导的保密界限表明，当且仅当密钥速率 R > I(X;Z) + I(X;K|Z) 时，可实现指数安全性，其中 I(X;Z) 为源与侧信道之间的互信息。
• 分析结果确认了强大数定律性质：若密钥速率低于该阈值，攻击者成功概率将指数级快速趋近于 1。
• 结果表明，即使存在侧信道泄露，只要密钥速率超过互信息项之和，香农密码系统仍可实现信息论安全。
• 该框架可通过最小化修改为已部署系统提供实用的安全增强，为抵御侧信道攻击提供理论依据。