The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Создан альянс для развития постквантовых алгоритмов шифрования, opennews (ok), 13-Фев-24, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


1. "Создан альянс для развития постквантовых алгоритмов шифрован..."  –17 +/
Сообщение от Шарп (ok), 13-Фев-24, 11:46 
>Проектом разрабатывается открытая Си-библиотека

И сколько там разработали выходов за пределы границ массивов и двойных освобождений памяти?

Ответить | Правка | Наверх | Cообщить модератору

9. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +3 +/
Сообщение от Аноним (9), 13-Фев-24, 12:15 
Да, надо было на ПостквантумбезопасТномРасте.
Ответить | Правка | Наверх | Cообщить модератору

16. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +/
Сообщение от Аноним (16), 13-Фев-24, 12:59 
что характерно, как раз раст там использовать вообще нельзя. Например, доступ к элементу массива, типа обычного "a[i]", по капотом вызывает проверку на выход за границы. Безопасно же. Но такая проверка приводит к возможности атаки по таймингу что для постквантовых, что для обычных алгоритмов.
Ответить | Правка | Наверх | Cообщить модератору

23. "Создан альянс для развития постквантовых алгоритмов шифрован..."  –2 +/
Сообщение от Шарп (ok), 13-Фев-24, 13:55 
>вызывает проверку на выход за границы

Ну а доступ к чужой памяти векторы атак не создаёт. Понятненько.

Ответить | Правка | Наверх | Cообщить модератору

39. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +2 +/
Сообщение от Аноним (39), 13-Фев-24, 15:41 
Просто не обращайся к чужой памяти.
Ответить | Правка | Наверх | Cообщить модератору

44. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +/
Сообщение от Шарп (ok), 13-Фев-24, 16:32 
Просто          https://www.opennet.me/opennews/art.shtml?num=45632
не обращайся    https://www.opennet.me/opennews/art.shtml?num=46526
к чужой         https://www.opennet.me/opennews/art.shtml?num=47007
памяти          https://www.opennet.me/opennews/art.shtml?num=47242

Ты это сишникам вдалбливай. А то как мы видим просто не обращаться у них не получается.

Ответить | Правка | Наверх | Cообщить модератору

48. Скрыто модератором  –1 +/
Сообщение от Аноним (-), 13-Фев-24, 17:23 
Ответить | Правка | Наверх | Cообщить модератору

26. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +1 +/
Сообщение от Аноним (26), 13-Фев-24, 14:01 
> что характерно, как раз раст там использовать вообще нельзя. Например, доступ к
> элементу массива, типа обычного "a[i]", по капотом вызывает проверку на выход
> за границы. Безопасно же.

Что характерно, Воены Супротив Раста не устают нести бред в массы ...

> Но такая проверка приводит к возможности атаки по таймингу

Ты давай конкретный пример, вместо абстрактных рассуждизмов "как оно там должно быть".


Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

33. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +1 +/
Сообщение от Аноним (33), 13-Фев-24, 14:56 
В те ваши массы плюс-минус килограм уже погоды не делает.
Ответить | Правка | Наверх | Cообщить модератору

49. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +/
Сообщение от Аноним (-), 13-Фев-24, 17:27 
> Но такая проверка приводит к возможности атаки по таймингу что для постквантовых, что для обычных алгоритмов.

1. Если предположить, что для каждого обращения происходит одна проверка на границу... то где атака по таймингу?
2. Если бы ты знал про слайсы в раст, то не писал бы глупости

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

52. "Создан альянс для развития постквантовых алгоритмов шифрован..."  –2 +/
Сообщение от ИмяХ (ok), 13-Фев-24, 18:33 
>>доступ к элементу массива, типа обычного "a[i]", по капотом вызывает проверку на выход за границы

Это возникает только один раз - во время компиляции.

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

66. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +/
Сообщение от Аноним (66), 14-Фев-24, 02:00 
Как это проверить во время компиляции для случаев, когда "i" определяется в рантайме? Ну, например, с клавиатуры ввели?
Ответить | Правка | Наверх | Cообщить модератору

71. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +1 +/
Сообщение от n00by (ok), 14-Фев-24, 07:52 
> Как это проверить во время компиляции для случаев, когда "i" определяется в
> рантайме? Ну, например, с клавиатуры ввели?

Перед началом цикла проверить.

Ответить | Правка | Наверх | Cообщить модератору

69. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +/
Сообщение от Аноним (69), 14-Фев-24, 07:21 
7 или 8.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

87. "Создан альянс для развития постквантовых алгоритмов шифрован..."  +/
Сообщение от adolfus (ok), 16-Фев-24, 15:30 
Что касается криптографии, то намного проще засертифицировать код на си, нежели на каком-либо другом языке (кроме ассемблера и машинного кода, разумеется).

Тем не менее, все, что вы перечислили -- это чисто логические ошибки программирования, которые решать должен именно программист, а не компилятор. Логику программы ни один компилятор не в состоянии понять, поэтому двойной вызов free(), не предотвратить. Разве что в модулях, где все malloc можно закрыть free. Однако есть масса причин, вынуждающих раскидывать выделение и освобождение по разным модулям. Есть задачи, где в процессе вычислений нельзя использовать обращения к системе. Поэтому приходится всю необходимую память распределить заранее и освобождать ее совершенно в другом месте после завершения всех вычислений. Это обычная математика в системах моделирования. Слава богу, что нынче можно это все на Си программировать, а не фортране:-)
Есть еще один класс задач, где до недавнего времени в структурах в качестве последнего члена использовался T array[1]; Ради таких задач стандарт ввел синтаксис "T array[];" Это используется во всех IFF-контейнерах
struct tag_s {
    uint16_t type; // тип тега
    uint16_t size; // размер его данных
    T array[];     // данные тега
}
Просто другого способа обрабатывать такого рода данные не существует.

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру