Дефекты криптографии

Дефекты, связанные с неправильным использованием стандартных программ криптографии OpenSSL

Результаты Polyspace

Криптография с симметричными шифрами

`Constant block cipher initialization vector`	Вектор инициализации является постоянным вместо рандомизированного
`Predictable block cipher initialization vector`	Вектор инициализации сгенерирован от слабого генератора случайных чисел
`Missing block cipher initialization vector`	Контекст, используемый для шифрования или дешифрования, сопоставлен с вектором инициализации NULL или не сопоставлен с вектором инициализации
`Constant cipher key`	Ключ шифрования или ключ расшифровки являются постоянными вместо рандомизированного
`Predictable cipher key`	Ключ шифрования или ключ расшифровки сгенерированы от слабого генератора случайных чисел
`Missing cipher key`	Контекст, используемый для шифрования или дешифрования, сопоставлен с ключом NULL или не сопоставлен с ключом
`Inconsistent cipher operations`	Вы выполняете шаги шифрования и дешифрования по очереди с тем же контекстом шифра без промежуточной реинициализации
`Missing cipher data to process`	Итоговый шаг шифрования или дешифрования выполняется без предыдущих шагов обновления
`Missing cipher final step`	Вы не выполняете последний шаг после шагов обновления для шифрования или дешифрования данных
`Missing cipher algorithm`	Алгоритм шифрования или дешифрования не сопоставлен с контекстом шифра
`Weak cipher algorithm`	Алгоритм шифрования, сопоставленный с контекстом шифра, слаб
`Weak cipher mode`	Режим шифрования, сопоставленный с контекстом шифра, слаб

Шифрование с открытым ключом: Общий

`Context initialized incorrectly for cryptographic operation`	Контекст, используемый для операции шифрования с открытым ключом, инициализируется для различной операции
`Incorrect key for cryptographic algorithm`	Операция шифрования с открытым ключом не поддержана алгоритмом, используемым в инициализации контекста
`Missing data for encryption, decryption or signing operation`	Данные предусмотрели операцию шифрования с открытым ключом, NULL, или длина данных является нулем
`Missing parameters for key generation`	Контекст, используемый для генерации ключей, сопоставлен с параметрами NULL
`Missing peer key`	Контекст, используемый для разделяемой секретной деривации, сопоставлен с равноправным ключом NULL или не сопоставлен с равноправным ключом вообще
`Missing private key`	Контекст, используемый для операции криптографии, сопоставлен с закрытым ключом NULL или не сопоставлен с закрытым ключом вообще
`Missing public key`	Контекст, используемый для операции криптографии, сопоставлен с открытым ключом NULL или не сопоставлен с открытым ключом вообще
`Nonsecure parameters for key generation`	Контекст, используемый для генерации ключей, сопоставлен со слабыми параметрами

Шифрование с открытым ключом: алгоритм RSA

`Incompatible padding for RSA algorithm operation`	Операция Cryptography не поддержана дополнительным набором типа в контексте
`Missing blinding for RSA algorithm`	Контекст, используемый в дешифровании или верификации подписи, не ослеплен против атак временным анализом
`Missing padding for RSA algorithm`	Контекст, используемый в шифровании или подписании операции, не сопоставлен ни с каким дополнением
`Nonsecure RSA public exponent`	Контекст, используемый в генерации ключей, сопоставлен с низким значением экспоненты
`Weak padding for RSA algorithm`	Контекст, используемый в шифровании или подписании операции, сопоставлен с небезопасным дополнительным типом

Дайджесты сообщения

`Context initialized incorrectly for digest operation`	Контекст, используемый для операции обзора, инициализируется для различной операции обзора
`Nonsecure hash algorithm`	Контекст, используемый для создания дайджеста сообщения, сопоставлен со слабым алгоритмом

Связи SSL/TLS

Nonsecure SSL/TLS protocol Контекст, используемый для обработки связей SSL/TLS, сопоставлен со слабым протоколом

Темы

Группы дефекта средства поиска ошибки

Средства проверки дефекта Средства поиска Ошибки классифицируются в группы, такие как поток данных, параллелизм, числовой, и так далее.

Документация