文件名称：keeloq-python:用python编写的keeloq加密系统的快速版本
文件大小：15KB
文件格式：ZIP
更新时间：2024-06-30 08:39:45
Python
keeloq-python 我用来破解 160 轮 KeeLoq 密码系统的代码库。 除了一些用于将 ANF 布尔多项式方程组收敛为 DIMACS CNF 形式的 sage 代码之外，所有内容都是用 python 编写的。 一旦采用这种形式，我们就可以将输出文件提供给确定系统是否可满足的 miniSAT。 如果是，您可以将输出通过管道传输到一个文件并使用另一个 python 文件解析它并检查是否恢复了正确的密钥。 通常，您必须向 miniSAT 提供至少 32 位的密钥作为提示。 如果你开始拿走密钥的一部分，那么你的系统将是未定义的（特别是如果你只给它一对明文/密文）。 在这种情况下，系统仍然是可满足的，除非你会得到错误的密钥，因为 miniSAT 一旦发现系统是可满足的就会停止，如果系统定义不足，它将有多种解决方案。 对此的快速解决方法是在同一密钥下生成另一个明文/密文。 然后为新
【文件预览】：
keeloq-python-master
----sage-CNF-convert.txt(25KB)
----parse-miniSAT.py(524B)
----sage-equations.py(1KB)
----polynomial-vars.py(420B)
----LICENSE(1KB)
----README.md(1KB)
----keeloq-python.py(3KB)
----keeloq160-python.py(3KB)