3

我正在浏览 TrueCrypt (7.1a) 中的 Serpent 实现，但看起来有些不对劲！这是该算法的接口：

void serpent_set_key(const unsigned __int8 userKey[], int keylen, unsigned __int8 *ks);
void serpent_encrypt(const unsigned __int8 *inBlock, unsigned __int8 *outBlock, unsigned __int8 *ks);
void serpent_decrypt(const unsigned __int8 *inBlock,  unsigned __int8 *outBlock, unsigned __int8 *ks);

这里感兴趣的函数是serpent_set_key。用户密钥长度为 32 个字节，keylen应该是它的大小，而ks是用于加密/解密的输出密钥。问题是执行。这是开头的相关片段：

unsigned __int32 a,b,c,d,e;
unsigned __int32 *k = (unsigned __int32 *)ks;
unsigned __int32 t;
int i;

for (i = 0; i < keylen / (int)sizeof(__int32); i++)
    k[i] = LE32(((unsigned __int32*)userKey)[i]);

for 循环实际上是将数据从用户键复制到实现键。它是通过将数据“查看”为 4 字节整数来完成的。现在，如果密钥 len 作为字节发送（32 是正确的值），那么一切都很好，但是......

在 trueCrypt 的所有实现中，这在两个地方被调用。这是第一个：在 CipherInit 中是这样调用的：

case SERPENT:
    serpent_set_key (key, CipherGetKeySize(SERPENT) * 8, ks);
    break;

CipherGetKeySize(SERPENT)将返回 32（字节），因此传入的参数的值为 256！就密钥的长度而言，这是正确的，但不适用于此实现！这将导致 'serpent_set_key' 中的缓冲区溢出，因为 for 循环将运行 64 次而不是仅 8 次！另一个调用它的地方是在 EAInit 中，如下所示：

serpent_set_key (key, 32 * 8, ks);

很明显，传入的参数将是 256。

我很好奇其他人对此有何看法？其他人可以确认这个错误吗？

4

1 回答 1

3

作为 VeraCrypt 的主要开发人员，由于 VeraCrypt 是基于 TrueCrypt 源的，因此有用户将我重定向到这篇文章。

在研究了您提出的问题后，我可以确认这确实是代码中的错误，并且对 serpent_set_key 的调用应该传递 32 而不是 256 作为参数。

幸运的是，这个错误对程序执行过程中的正确性或安全性没有影响，这就是为什么在你之前没有人发现它的原因。因此，我们不能将此定义为错误。

让我分三点来解释：

  1. 让我们看一下 Serpent 算法的实现serpent_set_key：该参数keylen仅用于将用户密钥复制到保证最小大小为560ks的缓冲区中（查看crypt.h 中的定义）。因此，即使是 256 而不是 32，我们也永远不会写超出.SERPENT_KSkeylenks
  2. 此循环之后的内部密钥扩展将使用userKey 的前 32 个字节构建扩展的 Serpent 密钥，仅在 Serpent 算法规范中。因此，前 32 个字节之后的所有字节都将被丢弃，并且永远不会被使用。这解释了为什么即使将 256 个字节而不是预期的 32 个字节传递给它，计算结果也是正确的。
  3. 如果我们列出所有运行时调用的线索，serpent_set_key我们会注意到，除了自动测试的情况外，所有调用都使用 256 字节缓冲区作为 userKey 参数，即使它的前 32 个字节已被填充（查看MASTER_KEYDATA_SIZEcrypto. H）。因此，在运行时，我们永远不会读取超出分配缓冲区空间的内容。它仍然是自动测试（Tests.c 或CipherTestDialogProcDlgcode.c 中的 ei）的情况，其中 32 字节缓冲区用于 userKey ：这里我们将读取超出分配的空间，但实际上它不会造成任何伤害，因为此缓冲区周围的内存是可读的。

我希望这能澄清为什么这个错误是无害的。话虽如此，它必须得到纠正，这就是我们将在 VeraCrypt 中做的事情。

记录一下，这个错误似乎是由 and 之间的混淆引起的twofish_set_key：serpent_set_key两个函数的声明具有相同类型的参数，但twofish_set_key期望用户密钥长度以位为单位，而serpent_set_key期望以字节为单位！显然，我们应该对键的大小有相同的约定。

于 2014-09-27T07:05:39.487 回答