首页/论文/0904.0109

arXiv 0904.01092009-04-01cs.CRcs.DM

等概率源概率分布的认证码和保密码

Authentication and Secrecy Codes for Equiprobable Source Probability Distributions

Michael Huber

备注：: 5 pages (double-column); to appear in Proc. IEEE International Symposium on Information Theory (ISIT 2009, Seoul, South Korea)
DOI：: 10.1109/ISIT.2009.5206028

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们给出了新的组合结构的代码提供认证和保密的等概率源概率分布。特别地，我们构造了一个无限类的最优认证码，这些码是多重安全的，可以防止欺骗，同时达到完美的保密性。还将构造满足这些性质的几个新的最优码，并在通用表中列出。几乎所有这些都是具有这些属性的第一个认证码。

英文摘要：

We give new combinatorial constructions for codes providing authentication and secrecy for equiprobable source probability distributions. In particular, we construct an infinite class of optimal authentication codes which are multiple-fold secure against spoofing and simultaneously achieve perfect secrecy. Several further new optimal codes satisfying these properties will also be constructed and presented in general tables. Almost all of these appear to be the first authentication codes with these properties.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

具有完美多重秘密的最优认证码的构造

Constructing Optimal Authentication Codes with Perfect Multi-fold Secrecy

本文利用组合设计方法构造了一个具有多重完全保密性的最优认证码。这继续了作者的工作（ISIT 2009），并回答了其中提出的一个悬而未决的问题。作为一个应用，我们提出了第一个无限类的最优码，提供双重安全性对欺骗攻击，并在同一时间完美的双重保密。

2009-12-03cs.CRcs.ITmath.IT

分裂模型下的信息论认证与密码

Information Theoretic Authentication and Secrecy Codes in the Splitting Model

在分裂模型中，信息论认证码允许非确定性编码，也就是说，可以使用几个消息来传递特定的明文。某些应用程序要求同时保持保密性。Ogata-Kurosawa-Stinson-Saido（2004）构造了一种最优分裂认证码，在密钥数等于消息数的特殊情况下实现了完全保密。本文在密钥数与消息数不同的更一般情况下，建立了具有完全保密性的最优分裂认证码的构造方法。据最好的知识，这是这种类型的第一个结果。

2011-11-30cs.CRcs.ITmath.IT

具有完全保密性的分裂认证码：新结果，构造及其与代数操作检测码的联系

Splitting authentication codes with perfect secrecy: new results, constructions and connections with algebraic manipulation detection codes

分裂BIBD是一种组合设计，可以用来构造具有良好性质的分裂认证码。在本文中，我们表明，设计理论的方法是有用的分析更一般的分裂认证码。受代数操作检测（AMD）码研究的启发，定义了群生成分裂认证码的概念。我们证明了所有群生成的认证码都具有完全保密性，这使我们能够证明代数操作检测码可以被认为是具有完全保密性的认证码的特殊情况。我们还研究了可以“公平排序”的分裂BIBDs。这些分裂BIBDs产生具有分裂的认证码，也具有完美的保密性。我们表明，虽然组生成的BIBDs本质上是公平有序的，这个概念适用于更一般的分裂BIBDs。对于各种对$(k,c)$，我们确定的必要和充分（或几乎充分）条件存在的$(v, k \times c,1)$分裂BIBDs，可以公平地订购。我们可以解决这个问题的对是$(k,c) = (3,2), (4,2), (3,3)$和$(3,4)$，以及所有使用$k = 2$的情况。

2021-08-24cs.CRmath.CO

5G-AKA-HPQC：具备前向安全性的抗量子5G主认证混合后量子密码协议

5G-AKA-HPQC: Hybrid Post-Quantum Cryptography Protocol for Quantum-Resilient 5G Primary Authentication with Forward Secrecy

针对5G AKA协议的可链接性漏洞及量子计算威胁，提出兼容现有标准的5G AKA HPQC混合后量子密码协议，结合ECIES与PQC KEM派生密钥增强安全性，经SVO逻辑、ProVerif验证安全且兼顾效率，为量子安全移动认证标准化提供参考。

2025-02-05cs.CR

一个几乎泛散列函数族及其在认证和保密码中的应用

On an almost-universal hash function family with applications to authentication and secrecy codes

通用散列是由Carter和Wegman于1979年发现的，在计算机科学中有许多重要的应用。MMH $^*$，在1997年被Halevi和Krawczyk证明是$Δ$ -通用的，是一个著名的通用散列函数家族。我们引入MMH $^*$的一个变体，我们称之为GRDH，其中我们使用任意整数$n>1$代替素数$p$，并让密钥$\mathbf{x}=\langle x_1, \ldots, x_k \rangle \in \mathbb{Z}_n^k$满足条件$\gcd(x_i,n)=t_i$（$1\leq i\leq k$），其中$t_1,\ldots,t_k$被赋予$n$的正因子。然后通过将泛散列问题与限制线性同余的解的个数联系起来，证明了对于某些$\varepsilon<1$，族GRDH是$\varepsilon$ -几乎- $Δ$ -泛散列函数族当且仅当$n$是奇数且$\gcd(x_i,n)=t_i=1$ $(1\leq i\leq k)$ .此外，如果满足这些条件，则GRDH是$\frac{1}{p-1}$ -几乎- $Δ$ -泛的，其中$p$是$n$的最小素因子。最后，作为我们的结果的应用，我们提出了一个具有保密性的认证码方案，该方案是Alomair等人[{ \it J. Math. Cryptol.} { \bf 4}（2010），121- 148]和[{ \it J.UCS} …

2017-04-21cs.CRcs.DSmath.CO

基于秘密密钥的标量高斯信源被动发射器认证

Secret Key-based Authentication With Passive Eavesdropper for Scalar Gaussian Sources

我们分析了相关高斯源存在窃听者时基于秘密密钥的认证系统的基本权衡。一个完整的特征之间的权衡密钥，存储和隐私泄漏率生成和选择的秘密模型。的主要贡献之一是揭示，不同于已知的离散源的结果，有没有必要的第二个辅助随机变量在高斯情况下的容量区域的特征。此外，还证明了利用信息谱方法可以实现系统的强保密性，并给出了容量域的参数表达式（可计算形式）.

2022-06-29cs.CRcs.ITmath.IT

更多相关论文收起更多论文

Telegram MTProto 2.0的自动符号验证

Automated Symbolic Verification of Telegram's MTProto 2.0

MTProto 2.0是一套用于即时消息的加密协议，是流行的Telegram信使应用程序的核心。在本文中，我们分析MTProto 2.0使用符号验证ProVerif。我们提供了MTProto 2.0的认证，正常的聊天，端到端的加密聊天，和密钥更新机制的几个安全属性，包括认证，完整性，保密性和完美的前向保密性的健全性的全自动证明;在同一时间，我们发现，密钥更新协议是脆弱的未知密钥共享（UKS）攻击。我们继续在一个增量的方式：每个协议是孤立地检查，只依赖于以前的和基本的密码原语的鲁棒性提供的保证。我们的研究证明了MTProto 2.0 w.r.t.最相关的安全属性，可以作为客户端和服务器端实现和分析的参考。

2021-04-30cs.CR

窃听信道上的消息认证码

Message Authentication Code over a Wiretap Channel

消息认证码（MAC）是密钥函数$f_K$，使得当与Bob共享秘密$K$的Alice向后者发送$f_K(M)$时，Bob将确保$M$的完整性和真实性。传统上，假设信道是无噪声的。然而，Maurer表明，在这种情况下，攻击者可以在验证$\ell$消息后以$2^{-\frac{H(K)}{\ell+1}}$的概率成功。在本文中，我们考虑设置的通道是嘈杂的。具体地，Alice和Bob通过离散无记忆信道（DMC）$W_1$和无噪声但不安全的信道连接。此外，攻击者Oscar通过DMC $W_2$与Alice连接，并通过无噪声信道与Bob连接。在这种情况下，我们研究的框架，发送$M$无噪声信道和传统的MAC $f_K(M)$信道$(W_1, W_2)$。我们把有噪声的信道看作是一种昂贵的资源，并将认证率$ρ_{auth}$定义为消息长度与$W_1$使用的信道数$n$的比值。该框架的安全性取决于用于$f_K(M)$的信道编码方案。自然编码方案是使用Csiszár和Körner的保密容量实现码。直觉上，这也是最优策略。然而，我们提出了一个编码方案，实现了更高的$ρ_{auth}.$我们的关键点，这是在保密能力设置，鲍勃需要恢复$f_K(M)$，而在我们的编码方案，这是没有必要的。如何在不恢复$f_K(M)$的情况下检测攻击是本文的主要贡献。我们通过随机编码技术来实现这一点。

2015-05-29cs.CRcs.ITmath.IT

基于符号执行的C协议密码模型提取与验证

Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

考虑用C语言编写的密码协议的安全性验证问题。我们提出了一个自动的解决方案，既不需要预先存在的协议描述，也不需要手动注释的源代码。首先，象征性地执行C程序，以获得协议发送的网络消息的象征性描述。其次，应用代数重写来获得进程演算描述。第三，运行现有的协议分析器（ProVerif）来证明安全属性或发现攻击。我们正式我们的算法，并呼吁现有的结果ProVerif在适当的情况下建立计算的可靠性。我们只分析一个执行路径，所以我们的结果仅限于没有显著分支的协议。本文的结果提供了第一个计算上的声音验证弱保密性和认证（单执行路径）的C代码。

2011-07-06cs.CR