XiaoMi-AI文件搜索系统
World File Search System蛮力
基于量子计算的航空公司乘员阵容优化
解决任何优化问题需要两个步骤 - 一个，制定问题，两个步骤，为配方提供最佳解决方案。第一步构成理解问题并用数学术语提出问题。此数学公式可以通过多种方式完成，例如线性编程（LP），混合整数线性编程（MILP），非线性和二次。基于制定问题的便利以及算法，技术和工具的可用性，选择了一种公式方法。提出问题后，优化问题的第二步是获得最佳成本的解决方案。随着问题大小的增加，无法通过分析解决问题，而理论上蛮力方法可能会呈指数更长的时间。因此，使用数值方法来为大型优化问题提供近似的解决方案。
比较两种加密哈希算法：SHA-512和Whirlpool-关于文件完整性监视的案例研究
摘要。SHA-512和惠而浦是加密域中的两种独特的哈希算法。尽管它们不同，但这些方法具有某些特征。例如，它们都产生相同大小的安全摘要。此外，越来越多地用于维持机密文件的完整性。因此，探索一种对比和比较其性能的方法至关重要。本文在以下方面介绍了SHA-512和漩涡的比较分析：时间消耗，雪崩效应和对碰撞的抵抗力。它还在文件完整性监视的背景下研究了他们的适用性。我们的结果表明，在雪崩效应方案中，惠而以优于SHA-512，而对碰撞行为的可比性具有可比性。关于时间消耗，它比SHA-512慢。但是，这积极反映了其对蛮力攻击的抵抗力。
揭开量子计算的神秘面纱
预计量子计算机将很快解决非对称密钥算法，如 RSA、Diffie-Hellman (DH) 和椭圆曲线密码 (ECC)。对称加密比非对称加密数学性更低，因为它使用相同的密钥来加密和解密数据。因此，对称加密不会受到量子计算的威胁。像 RSA 这样的非对称加密依赖于寻找大数的质因数。RSA 如今是可靠的，因为即使使用最好的超级计算机，通过蛮力寻找质因数的成本也高得令人望而却步。然而，量子计算对 RSA 加密构成了风险，因为它有可能通过叠加找到质因数。一旦发生这种情况，全球的 RSA 系统将面临严重风险，互联网通信将陷入停顿。
新一代战斗机。沈阳飞机工业集团的孪生兄弟
作为歼-11“侧卫”基础的苏霍伊苏-27 被视为最强大的第四代战斗机之一，但它依然是个谜。尽管苏-27 也许没有取得与美国同行 F-15 鹰式战斗机同等程度的成功，但它往往因其优雅、出色的性能和神秘莫测的本质而备受推崇。这一声誉源于“侧卫”流畅的空气动力学设计，加上俄罗斯著名的“蛮力”和坚固的结构。与更轻的米格-29（北约名称为 Ful crum）不同，“侧卫”最初开发时并不打算出口，但自获准国际销售以来，它已成为中国、印度尼西亚和越南等国最抢手的战斗机之一。
量子威胁TLS 1.3协议
摘要 - 传输层安全性1.3是最新版本。此协议广泛用于Internet安全性，以HTTPS的所有Internet连接的60％以上。量子计算机是一种新的计算范式，它威胁到我们所知道的信息安全性，解决了当前密码学在多项式时间中使用的数学问题，或为蛮力攻击提供二次加速。本文强调了对运输层安全性的量子威胁，重点关注公共密钥密码学，揭示威胁情景，向协议提出详细的攻击模型，显示了预期的存储需求，以供商店 - 户外 - 二十年级供应商攻击，并探索减轻这些量子威胁的方法。索引项 - Quantum Computing;运输层安全性（TLS）1.3;商店 - 少年少年。
利用 SAT 技术构造最小完美哈希函数
最小完美哈希函数 (MPHF) 用于有效访问大型字典 (键值对集) 的值。发现构建 MPHF 的新算法是一个活跃的研究领域，尤其是从存储效率的角度来看。MPHF 的信息论极限为 1 ln 2 ≈ 1.44 位/键。当前最佳实用算法的范围是每个键 2 到 4 位。在本文中，我们提出了两种基于 SAT 的 MPHF 构造。我们的第一个构造产生的 MPHF 接近信息论极限。对于这种构造，当前最先进的 SAT 求解器可以处理字典包含多达 40 个元素的情况，从而优于现有的 (蛮力) 方法。我们的第二个构造使用 XOR-SAT 过滤器来实现一种实用方法，每个键的长期存储量约为 1.83 位。
识别第三阶段的预后生物标志物，
备注2.3在统一距离的背景下，假定蛮力攻击是可能的，因为信息理论框架与攻击的特定性质无关。英语的经典统一距离公式估计，攻击者需要大约30个字符才能唯一确定键。更复杂的统计方法，例如大都会杂货算法，通常需要更长的更长的明文才能有效，通常需要数百个charders [4]。然而，正如Diaconis的工作中所强调的[3]，马尔可夫链蒙特卡洛技术成功地打破了一个替代密码，少于76个字符。尽管取得了成功，但实际攻击能力与理论统一距离之间仍然存在很大的差距，从而强调了高级加密技术在实现唯一关键确定的理论最小密文长度方面的局限性。
一个新的数学模型，用于改进基于拆分radix快速傅立叶变换算法
本文引入了一种新的加密方法，旨在通过使用分裂的radix傅立叶变换技术来改善加密过程，称为split-radix fast fast傅立叶变换（SRFFFT）。所提出的方法基于将FFT radix-2和radix-4算法拆分，以实现SRFFT两个阶段的提高信息保证。第一阶段在输入明文上使用SRFFT算法直接计算以产生密文，而第二阶段将反向的SRFFFT算法应用于Decipher。对几种类型的加密分析攻击，例如蛮力，自相关和字典攻击，进行了相对评估，SRFFFT评估的最终结果表明，在许多实用的加密应用中，SRFFFT在许多实用的加密应用中都是可取的，因为SRFFFT复杂性在SRFFFT的复杂性中随着分裂比较计算的范围而增加，从而消除了差异的范围，从而消除了隐性攻击的范围。
koopman的解释和分析加密系统
公钥密码系统依赖于计算上的困难问题，用于安全性，传统上使用数字理论方法进行了分析。在本文中，我们通过查看Di-Hellman密钥交换和激烈的Shamir-Adleman Cryptosystem作为非线性动力学系统来介绍有关密码系统的新颖观点。通过应用Koopman理论，我们将这些动力学系统转换为更高维空间，并在分析上得出等效的纯线性系统。此公式使我们能够通过直接操纵来重建密码系统的秘密整数，从而利用可用于线性系统分析的工具。此外，我们在达到完美精确度所需的最小提升尺寸上建立了上限。我们在所需的举重维度上的结果与蛮力攻击的棘手性一致。为了展示我们的方法的潜力，我们在发现与现有结果之间建立了联系。此外，我们将此方法扩展到数据驱动的上下文，其中Koopman表示从密码系统的数据样本中学到了。
学习错误问题的安全远程密码协议
摘要 - 确定远程密码（SRP）协议是基于离散对数问题（DLP）的重要密码认证的密钥交换（PAKE）协议。该协议是专门设计的，旨在为各方使用会话密钥，并且由于其有吸引力的安全功能，它在各种情况下被广泛使用。作为增强板协议，服务器不存储密码等效数据。这使设法窃取服务器数据的攻击者不能伪装为客户，除非执行蛮力搜索密码。但是，量子计算中的进步有可能使基于经典DLP的公共密钥密码学方案不安全，包括SRP协议。因此，设计一种抵抗量子攻击的新协议是显着的。在本文中，基于基本协议，我们通过错误（LWE）问题从学习后构建了一个Quantum SRP协议。除了对已知量子攻击的阻力外，它还保持原始协议的各种安全质量。索引条款 - 远程密码协议，密码认证的密钥交换，错误学习。