https://blog.qife122.com/tags/%E7%AD%89%E5%BC%8F%E7%90%86%E8%AE%BA/ Recent content in 等式理论 on 办公AI智能小助手 Hugo zh-cn qife Wed, 10 Sep 2025 20:31:15 +0800 https://blog.qife122.com/p/%E5%9F%BA%E4%BA%8E%E6%9C%89%E7%95%8C%E4%BA%8C%E8%BF%9B%E5%88%B6%E7%94%B5%E8%B7%AF%E7%AD%89%E5%BC%8F%E7%90%86%E8%AE%BA%E5%9C%A8%E7%AC%A6%E5%8F%B7%E6%A8%A1%E5%9E%8B%E4%B8%AD%E5%BB%BA%E6%A8%A1%E4%BB%BB%E6%84%8F%E8%AE%A1%E7%AE%97/ Wed, 10 Sep 2025 20:31:15 +0800 https://blog.qife122.com/p/%E5%9F%BA%E4%BA%8E%E6%9C%89%E7%95%8C%E4%BA%8C%E8%BF%9B%E5%88%B6%E7%94%B5%E8%B7%AF%E7%AD%89%E5%BC%8F%E7%90%86%E8%AE%BA%E5%9C%A8%E7%AC%A6%E5%8F%B7%E6%A8%A1%E5%9E%8B%E4%B8%AD%E5%BB%BA%E6%A8%A1%E4%BB%BB%E6%84%8F%E8%AE%A1%E7%AE%97/ <h1 id="基于有界二进制电路等式理论在符号模型中建模任意计算">基于有界二进制电路等式理论在符号模型中建模任意计算</h1> <h2 id="摘要">摘要</h2> <p>本研究提出一类具有有限变体性质的有界二进制电路等式理论。这些理论可作为构建模块，用于指定密码原语实现并在符号模型中自动发现二进制电路攻击。我们提供了该类等式理论与布尔逻辑在电路大小3以内的等价性证明，并使用Maude-NPA提供了变体复杂性和性能基准。这是该方向的首个研究成果，后续研究需要提升方法的可扩展性。</p>