XiaoMi-AI文件搜索系统
World File Search SystemPrimitives
安全协议验证者proverif及其喇叭子句分辨率算法
安全协议的验证是自1990年代以来非常活跃的研究领域。安全协议无处不在：Internet（特别是用于https：// connections使用的TLS协议），WiFi，移动电话，信用卡，。。。。众所周知，他们的设计容易出错，并且未通过测试检测到错误：仅当对手试图攻击协议时，它们才会出现。因此，正式验证它们很重要。为了使安全协议形式化，需要为其数学模型。通常会考虑一个活跃的对手，可以收听网络上发送的消息，计算自己的媒介，然后将它们发送到网络上，就好像它们来自诚实的参与者一样。为了促进协议的自动验证，大多数协议验证者都考虑了加密的符号模型，也称为“ dolev-yao模型” [18，15]。在此模型中，加密原语（例如加密）被视为理想的黑盒，以功能符号为代表。消息是通过这些原始词的术语建模的；并且对手仅限于应用定义的原语。这也称为完美的加密假设：对手解密消息的唯一途径是将解密函数与正确的密钥一起使用。在这样的模型中，协议验证的主要任务之一是计算对手的知识，即对对手可以获得的一组术语。这仍然是并非繁琐的，因为该集合通常是无限的，但是它比有关斑点和概率的推理要简单得多。两个最广泛使用的符号协议验证者可能是proverif [11]和tamarin [17]。有关协议验证领域的更多详细信息，我们将读者转移到调查[10，6]。在本文中，我们专注于协议验证者proverif，可以从https://proverif.inria.fr下载。我们在下一节中介绍了王朝的概述，并关注其喇叭条款分辨率算法。
针对 HCTR 及其变体的量子攻击
Shor 算法 [16] 引入了整数分解问题和离散对数问题的多项式时间可解性，这对公钥密码原语造成了巨大的量子威胁。对于对称密钥方案，长期以来，Grover 算法 [7] 被认为是最佳攻击方式，它通过一个二次因子加速了私钥的穷举搜索。因此，将密钥长度加倍可抵御此类攻击，将方案的量子安全性提升到经典方案的水平。利用 Simon 算法 [17] 的强大功能，Kuwakado 和 Mori 对 3 轮 Feistel [13] 的选择明文攻击和对 Even-Mansour 密码 [14] 的量子攻击为量子环境下对称密钥方案的密码分析开辟了新的方向。
利用热噪声理论和真随机数生成实现后量子密码学
量子计算机和算法的出现对对称和非对称密码系统的语义安全性提出了挑战。因此，实现新的密码原语至关重要。它们必须遵循量子计算器的突破和特性，因为量子计算器使现有的密码系统变得脆弱。在本文中，我们提出了一个随机数生成模型，该模型基于对体积为 58.83 cm 3 的电子系统体积元素热噪声功率的评估。我们通过对每个体积元素的温度进行采样来证明攻击者很难进行攻击。在 12 秒内，我们为 7 个体积元素生成一串 187 位随机密钥，这些密钥将通过量子密码学的特性从源传输到目的地。
XL在小场上的理论分析
摘要。XL首先是为了解决有限范围内确定的或过度确定的方程式系统，作为对多个密码系统的“代数攻击”。通过此类攻击（包括流密码）对基本的密码分析一直存在稳定的公告（例如，toyocrypt），PKC和更具争议性的密码（AES/Rijndael和Serpent）。对XL的先前讨论通常在模拟中很重，这当然很有价值，但我们希望更多地关注理论，因为理论和模拟必须互相验证，并且有些细微差别不易与模拟。在最近的这个方向上付出了更多的努力，但其中大部分仅限于大小的大基地，通常等于
有知情的投机者的战略承诺
我们分析了一个知情的交易者的投机模式，他可以在凯尔风格的经销商市场中致力于他的交易策略。知情的交易者承诺对交易策略和做市商的价格有竞争力的知识，但对交易策略的功能形式进行了了解，但不考虑交易者的私人信息。我们提供了独特平衡获得的条件。我们表征了这种策略承诺的（非负）价值，从而建设性地表明它可能是严格的积极价值。然后，我们得出了必要且足够的封闭形式条件，以使知情人士无法从承诺中获利。这将模型原始素（基本价值和噪声交易的分布）施加条件，即在两个分布都正常时通过线性平衡来满足。
实用量子遗漏的密钥分布的性能
由安全多方计算作为保护隐私数据分析工具的应用，并确定遗忘的转移是其主要实践推动者之一，我们提出了对随机量子的实际实现。仅使用对称的cryp-图表原始素来实施承诺，我们就可以构建计算清除的随机遗漏转移，而无需公开密钥加密或对对抗设备施加限制的假设。我们表明，该协议是在基于无法区分的安全性概念下安全的，并展示了测试其现实世界中的实验实现。然后将其安全性和性能与量子和经典替代方案进行比较，显示了基于嘈杂的存储模型和公共密钥密码学的现有解决方案的潜在优势。
On the Political Economy of Nonlinear Income Taxation
本文引用了有关投票、最优所得税、实施和纯公共物品的文献，以解决通过投票决定通过所得税来资助公共物品的问题。与以前的文章不同，本文允许征收影响工作和投票的消费者的劳动休闲决策的一般非线性所得税。不确定性起着重要作用，因为政府不知道从已知分布中抽取的消费者能力的真实实现，但必须满足与实现相关的预算；税收制度必须是稳健的。即使备选方案空间是无限维的，原始条件也能确保多数规则均衡的存在。JEL 编号：D72、D82、H21、H41 关键词：投票；所得税；公共物品；稳健性
关于非线性所得税的政治经济学
在这里吸引了有关投票，最佳所得税，实施和纯公共物品的文献，以解决对所得税进行投票的问题，以确定公共利益。与以前的文章有关，一般的非线性所得税会影响允许工作和投票的消费者的劳动力决策。不确定性起着重要的作用，因为政府不知道从已知分布中吸引的消费者能力的真实实现，但必须符合依赖于实现的预算；税制必须坚固。即使替代方案的空间是有限的维度，也发现原始条件可以确保大多数规则均衡。JEL数字：D72，D82，H21，H41关键字：投票；所得税；公共利益；鲁棒性
非线性所得税的政治经济学
本文引用了有关投票、最优所得税、实施和纯公共物品的文献，以解决通过投票决定通过所得税来资助公共物品的问题。与以前的文章不同，本文允许征收影响工作和投票的消费者的劳动休闲决策的一般非线性所得税。不确定性起着重要作用，因为政府不知道从已知分布中抽取的消费者能力的真实实现，但必须满足与实现相关的预算；税收制度必须是稳健的。即使备选方案空间是无限维的，原始条件也能确保多数规则均衡的存在。JEL 编号：D72、D82、H21、H41 关键词：投票；所得税；公共物品；稳健性
为应用程序部署混合量子安全基础架构：量子和量子后可以一起工作
当前使用的密码工具用于保护数据是基于某些计算假设，这使得它们在技术和算法开发（例如量子计算）方面很容易受到影响。应对这种潜在威胁的现有选择是量子密钥分布，其安全性是基于量子物理定律的。量子密钥分布可抵抗不可预见的技术发展。第二种方法是量词后加密术，这是一组密码原语，据信，即使通过经典和量子计算技术既可以攻击也是安全的。从这个角度来看，这项研究回顾了基于量子密钥分布，量子后加密术及其组合的量子安全基础设施部署的最新进展。还指出了全堆栈量子固定基础设施的进一步发展的各种方向。分布式应用程序，例如区块链和分布式分类帐。