[论文解读] Information Theoretic Authentication and Secrecy Codes in the Splitting Model

Michael Huber|arXiv (Cornell University)|Nov 30, 2011

DNA and Biological Computing参考文献 11被引用 3

一句话总结

本文提出了一种在信息论设置下，针对密钥数与消息数不相等情形的最优分割认证码的新型构造方法，利用循环分割设计在实现不可伪造性的同时保障完全机密性，从而解决了文献中长期存在的空白。其核心贡献是首次在非对称情形（密钥数 ≠ 消息数）下实现了此类码的一般性构造。

ABSTRACT

In the splitting model, information theoretic authentication codes allow non-deterministic encoding, that is, several messages can be used to communicate a particular plaintext. Certain applications require that the aspect of secrecy should hold simultaneously. Ogata-Kurosawa-Stinson-Saido (2004) have constructed optimal splitting authentication codes achieving perfect secrecy for the special case when the number of keys equals the number of messages. In this paper, we establish a construction method for optimal splitting authentication codes with perfect secrecy in the more general case when the number of keys may differ from the number of messages. To the best knowledge, this is the first result of this type.

研究动机与目标

• 解决在密钥数可能不同于消息数的一般情形下，缺乏最优分割认证码与完全机密性的空白问题。
• 扩展Ogata等人（2004年）的工作，后者仅覆盖对称情形（密钥数 = 消息数），将其推广至更广泛且更实用的设置。
• 基于组合设计提供系统化的构造方法，确保对欺骗攻击的最优防护与完全机密性。
• 证明在分割模型中可同时实现完全机密性与最优的一次欺骗抵抗性。

提出的方法

• 该方法依赖于无短轨道的循环 $2$-$(v,b,l=cu,1)$ 分割设计，以确保消息集在编码规则间均匀分布。
• 通过模加法下的基块及其平移生成完整的编码规则与消息映射集合。
• 构造确保每个源状态在每条编码规则下恰好映射到 $c$ 个消息，满足 $c$-分割特性。
• 通过以相等概率使用所有编码规则实现完全机密性，使消息分布与源状态无关。
• 当 $v \equiv 1 \pmod{u(u-1)c^2}$ 时，此类设计的存在性得到保证，从而确保完整轨道与均匀性。
• 最终生成的认证码表示为一个编码矩阵，其中每一行对应一条编码规则，每一列对应一个源状态，条目为可能的消息集合。

实验结果

研究问题

• RQ1 当密钥数不等于消息数时，能否构造出具有完全机密性的最优分割认证码？
• RQ2 是否能够通过统一的组合构造方法，在分割模型中同时实现一次欺骗抵抗与完全机密性？
• RQ3 何种组合设计条件可确保分割认证码既最优又完全安全？
• RQ4 如何利用循环分割设计系统性地生成具备保证安全特性的此类码？
• RQ5 该构造能否超越对称情形（密钥数 = 消息数）进行推广，以支持实际应用？

主要发现

• 当存在无短轨道的循环 $2$-$(v,b,l=cu,1)$ 分割设计时，即当 $v \equiv 1 \pmod{u(u-1)c^2}$ 时，存在最优的 $c$-分割认证码并具备完全机密性。
• 对于 $u=2$ 个源状态，当 $v=17$ 个消息与 $b=34$ 条编码规则时，可构造出最优的 $2$-分割码，实现完全机密性与一次欺骗抵抗。
• 该构造可推广至 $u=2$ 且 $v=2c^2n+1$ 个消息、$b=(2c^2n+1)n$ 条编码规则的情形，基块来源于模运算。
• 在编码规则均匀分布的条件下实现完全机密性，确保消息的概率分布不泄露关于源状态的任何信息。
• 通过利用文献中已知的分割设计构造方法，该方法可扩展用于 $u>2$ 的情形。
• 编码矩阵表示表明，在相同规则下，不同源状态对应的消息集互不相交，从而确保正确解密与完整性。