Question

一般攻击情景：

2013年，Django存在一个普遍的漏洞，因为攻击者可以通过非常大的密码[see the security notice here]创建极其频繁的CPU计算。在使用PHP的 password_verify（）和其他密码哈希方法时，我不确定这是否仍然可行，而无需进一步检查。

PHP文档说：

对于algo参数使用PASSWORD_BCRYPT，将导致密码参数被截断为最大长度为72个字符。

但是，PHP的代码MAYBE说了些不同的东西：

然而C code behind PHP 5.5.0's password_verify() function不直接限制传递的参数（可能在bcrypt算法中更深层次？）。此外，PHP implementation不限制参数。

问题：

password_verify（）（以及同一功能集的其他功能）是否通过最大化POST参数容易受到DoS的影响？还请考虑POST上传大小远大于4MB的站点范围配置情况。

Answer 1

密码算法内部密码限制为72个字符。

要了解原因，请查看crypt()来源：ext/standard/crypt.c

    } else if (
            salt[0] == '$' &&
            salt[1] == '2' &&
            salt[3] == '$') {
        char output[PHP_MAX_SALT_LEN + 1];

        memset(output, 0, PHP_MAX_SALT_LEN + 1);

        crypt_res = php_crypt_blowfish_rn(password, salt, output, sizeof(output));
        if (!crypt_res) {
            ZEND_SECURE_ZERO(output, PHP_MAX_SALT_LEN + 1);
            return NULL;
        } else {
            result = zend_string_init(output, strlen(output), 0);
            ZEND_SECURE_ZERO(output, PHP_MAX_SALT_LEN + 1);
            return result;
        }

password字段是一个简单的char*字段。所以没有长度信息。所有传递的都是普通指针。

因此，如果我们遵循这一点，我们最终会降落在BF_set_key。

重要的部分是循环：

for (i = 0; i < BF_N + 2; i++) {
    tmp[0] = tmp[1] = 0;
    for (j = 0; j < 4; j++) {
        tmp[0] <<= 8;
        tmp[0] |= (unsigned char)*ptr; /* correct */
        tmp[1] <<= 8;
        tmp[1] |= (BF_word_signed)(signed char)*ptr; /* bug */

        if (j)
            sign |= tmp[1] & 0x80;
        if (!*ptr)
            ptr = key;
        else
            ptr++;
    }
    diff |= tmp[0] ^ tmp[1]; /* Non-zero on any differences */

    expanded[i] = tmp[bug];
    initial[i] = BF_init_state.P[i] ^ tmp[bug];
}

BF_N被定义为16.因此外部循环将循环18次（BF_N + 2）。

内循环将循环4次。 4 * 18 == 72。

你有它，只能读取72个字符的密钥。没有了。

注意

现在，该算法有一个有趣的副作用。因为它使用C-Strings（以\0空字节终止的字符串），所以它不可能使用\0以外的任何内容。因此，包含空字节的密码将丢失任何熵。示例：http://3v4l.org/Y6onV

PHP的password_verify（）是否可以安全地防止超长密码（DoS攻击）？

1 个答案:

注意