The OpenNET Project / Index page

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



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

Оглавление

Первый выпуск переносимого варианта LibreSSL, opennews (??), 12-Июл-14, (0) [смотреть все]

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


39. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Аноним (-), 12-Июл-14, 14:59 
> Используя в XXI веке языки программирования с ручным управлением памятью.

А в криптографии сборщик мусора и прочая автоматика скорее нагадит. Непредсказуемыми временами изничтожения ключей, задержками зависящими от активности программ, просадкой скорости и прочими прелестями.

И вообще, те кто пишет такой бред - безопасно криптографию не напишут ни на каком языке. Для начала - в самой по себе криптографии вообще памятью особо управлять толком негде. Чистая математика.

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

48. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  –1 +/
Сообщение от metallica (ok), 12-Июл-14, 15:25 

> А в криптографии сборщик мусора и прочая автоматика скорее нагадит. Непредсказуемыми временами
> изничтожения ключей, задержками зависящими от активности программ, просадкой скорости
> и прочими прелестями.

Бред, сборщик мусора ничего не сделает с памятью объекта, пока он в области
видимости. А привыходе из таковой и в Cи делается free, только руками.

> И вообще, те кто пишет такой бред - безопасно криптографию не напишут
> ни на каком языке. Для начала - в самой по себе
> криптографии вообще памятью особо управлять толком негде. Чистая математика.

Чистая математика у тех, кто крипто. алгоритмы разрабатывает, и исследует.
У реализаторов, на любом языке, из математики только готовая спека алгоритма,
всё остальное-чистый ЯП, компиляторы и ОС.


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

59. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  –1 +/
Сообщение от Аноним (-), 12-Июл-14, 16:33 
>> А в криптографии сборщик мусора и прочая автоматика скорее нагадит. Непредсказуемыми временами
>> изничтожения ключей, задержками зависящими от активности программ, просадкой скорости
>> и прочими прелестями.
> Бред, сборщик мусора ничего не сделает с памятью объекта, пока он в
> области
> видимости. А привыходе из таковой и в Cи делается free, только руками.

Угу, и free(), конечно, зануляет освобождаемую память...

А насчёт видимости объекта - напомнить про циклические ссылки?

>> И вообще, те кто пишет такой бред - безопасно криптографию не напишут
>> ни на каком языке. Для начала - в самой по себе
>> криптографии вообще памятью особо управлять толком негде. Чистая математика.
> Чистая математика у тех, кто крипто. алгоритмы разрабатывает, и исследует.
> У реализаторов, на любом языке, из математики только готовая спека алгоритма,
> всё остальное-чистый ЯП, компиляторы и ОС.

Короче, не знаете, о чём говорите - лучше помолчите. Это _добрый_ совет.

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

64. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от metallica (ok), 12-Июл-14, 17:34 

> Угу, и free(), конечно, зануляет освобождаемую память...
> А насчёт видимости объекта - напомнить про циклические ссылки?

Короче, Вы про кривые руки. Сразу так бы и говорил.

> Короче, не знаете, о чём говорите - лучше помолчите. Это _добрый_ совет.

На прошлом месяце просматривал релизации алгоритмов шифрования в linux,
и программные и аппаратные. Математических построений, которые представляют
из себя сам алгоритм в теории, и которые исследуются в задачах исследования
алгоритма, там не видел. Видел описанную на ЯП/С99 или x86_64/asm  спецификацию
этих алгоритмов.

Ферштейн?

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

96. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Аноним (-), 13-Июл-14, 15:55 
>> Угу, и free(), конечно, зануляет освобождаемую память...
>> А насчёт видимости объекта - напомнить про циклические ссылки?
> Короче, Вы про кривые руки. Сразу так бы и говорил.

Вы считаете, что free() работает криво?

>> Короче, не знаете, о чём говорите - лучше помолчите. Это _добрый_ совет.
> На прошлом месяце просматривал релизации алгоритмов шифрования в linux,
> и программные и аппаратные. Математических построений, которые представляют
> из себя сам алгоритм в теории, и которые исследуются в задачах исследования
> алгоритма, там не видел. Видел описанную на ЯП/С99 или x86_64/asm  спецификацию
> этих алгоритмов.
> Ферштейн?

Вам про Фому, а вы про Ерёму. Частный случай не доказывает общее утверждение. Лечитесь дальше.

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

97. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от metallica (ok), 13-Июл-14, 16:19 

> Вы считаете, что free() работает криво?

Мы считаем, что free() просто делает free структуре vma_area_struct в ядре,
с возможным высвобождением страниц и всё. Если нужно чтоб страницы была чисты-выпрямляй
руки.

> Вам про Фому, а вы про Ерёму. Частный случай не доказывает общее
> утверждение. Лечитесь дальше.

Ваш Фома и Ерёма-порождения слабоватого бидлокодерского умишка.
Ещё раз для школяров. Представление крипт. алгоритма в теории-раздел чистой математики.
Реализации крипт. алгоритма в реальной или абстрактной машине-чистый ЯП, ни один из которых
к разделам чистой математики не относится.


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

106. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Аноним (-), 14-Июл-14, 05:04 
> Мы считаем, что free() просто делает free структуре vma_area_struct в ядре,

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

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

105. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Аноним (-), 14-Июл-14, 04:58 
> Угу, и free(), конечно, зануляет освобождаемую память...

В си, если задаться целью, можно сделать свое управление памятью под кастомные нужды. Как один из вариантов таковых - "secure free(), который затирает память нолями".

А теперь домашнее задание скрипткидизам: попробуйте провернуть этот трюк с моднявыми фигнями, автоматически управляющими памятью...

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

114. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  –1 +/
Сообщение от bOOsteremail (?), 14-Июл-14, 13:46 
Нолями нельзя - нужно мусором.
Ответить | Правка | Наверх | Cообщить модератору

124. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Аноним (-), 14-Июл-14, 23:20 
> Нолями нельзя - нужно мусором.

Это почему?

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

126. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Led (ok), 15-Июл-14, 01:23 
>> Нолями нельзя - нужно мусором.
> Это почему?

security by obscurity же!

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

89. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Аноним (-), 13-Июл-14, 05:24 
> Бред, сборщик мусора ничего не сделает с памятью объекта, пока он в
> области видимости.

Так это то и есть одна из проблем. Даже если мы собираемся остаться в области видимости полгода, ключ может требоваться надежно и предсказуемо изничтожить *сейчас*. Чтобы не болтался в памяти. Мало ли кто и по какому поводу в памяти системы шариться потенциально может. Умный рантайм может в этом начинании неиллюзорно подгадить своим малопредсказуемым менеджментом памяти.

> А привыходе из таковой и в Cи делается free, только руками.

В си операции делаются тогда, когда их посчитали необходимыми и их результат железобетонно предсказуем, если не лажаться. А не тогда, когда раздуплится тормозной неповоротливый рантайм, вообще ни разу не писаный security minded людьми и криптографами.

> Чистая математика у тех, кто крипто. алгоритмы разрабатывает, и исследует.

Сама по себе криптография - чистая математика и есть. Вон, например, tweetnacl - ни единого динамического выделения памяти на всю либу! Можно даже в какой-нить микроконтроллер засунуть, где полностью статическое распределение памяти. Очень интересно, как можно облажаться в управлении памятью, если оного при желании может не быть совсем. Кстати, на сях так можно, по крайней мере. В отличие от переусложненных Бюро Медвежьих Услуг, где тебя пытаются облагодетельствовать волшебными пинками.

> У реализаторов, на любом языке, из математики только готовая спека алгоритма,
> всё остальное-чистый ЯП, компиляторы и ОС.

И тем не менее, на си можно писать очень надежный, стабильный и предсказуемый код. Си используется в автомобильной, авиационной и т.п. промышленностях, где важна именно предсказуемость и надежность микропроцессорных систем. Туда бакланов типа вас с сборщиками мусора вообще на пушечный выстрел не подпускают. Потому что фигово, знаешь ли, если Вася въехал в стену, а проц вместо того чтобы подушки выкидывать - мусор собирал...

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

95. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  –2 +/
Сообщение от metallica (ok), 13-Июл-14, 11:41 
> Так это то и есть одна из проблем. Даже если мы собираемся
> остаться в области видимости полгода, ключ может требоваться надежно и предсказуемо
> изничтожить *сейчас*. Чтобы не болтался в памяти. Мало ли кто и
> по какому поводу в памяти системы шариться потенциально может. Умный рантайм
> может в этом начинании неиллюзорно подгадить своим малопредсказуемым менеджментом памяти.

Var=[] на Притоне, например.

> Сама по себе криптография - чистая математика и есть. Вон, например, tweetnacl
> - ни единого динамического выделения памяти на всю либу! Можно даже
> в какой-нить микроконтроллер засунуть, где полностью статическое распределение памяти.
> Очень интересно, как можно облажаться в управлении памятью, если оного при
> желании может не быть совсем. Кстати, на сях так можно, по
> крайней мере. В отличие от переусложненных Бюро Медвежьих Услуг, где тебя
> пытаются облагодетельствовать волшебными пинками.

Дык и мы о том же.

> И тем не менее, на си можно писать очень надежный, стабильный и
> предсказуемый код. Си используется в автомобильной, авиационной и т.п. промышленностях,
> где важна именно предсказуемость и надежность микропроцессорных систем. Туда бакланов
> типа вас с сборщиками мусора вообще на пушечный выстрел не подпускают.
> Потому что фигово, знаешь ли, если Вася въехал в стену, а
> проц вместо того чтобы подушки выкидывать - мусор собирал...

Дык.. Вы не перепутали, кому отвечать? Просто в Ваших ответах-всё то, что и утверждалось,
немного по другому представленное.  


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

107. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Аноним (-), 14-Июл-14, 05:07 
> Var=[] на Притоне, например.

Опять же - чтобы это было предсказуемым, надо очень хорошо знать свойства рантайма своего ЯП. И чем он навороченнее - тем с этим сложнее. А потом что-нибудь как обычно перетрясут и наступит факап. Да и скорость работы бидона по дефолту такова, что для криптографии его будут использовать только отчаянные грызцы кактусов. Которые готовы "за идею" просадить скорость в 20 раз.

> Дык.. Вы не перепутали, кому отвечать?

А вот черт знает.

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

111. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от metallica (ok), 14-Июл-14, 12:06 

> Опять же - чтобы это было предсказуемым, надо очень хорошо знать свойства
> рантайма своего ЯП. И чем он навороченнее - тем с этим
> сложнее. А потом что-нибудь как обычно перетрясут и наступит факап. Да
> и скорость работы бидона по дефолту такова, что для криптографии его
> будут использовать только отчаянные грызцы кактусов. Которые готовы "за идею" просадить
> скорость в 20 раз.

Опять же, "свойства рантайма"-это придуманные школярами умные словечки.
Есть стандарт языка, который гарантирует строго определённое свойства, создаваемым в памяти
объектамс, в течении времени их жизни. Реализации могут быть какими угодно, но все они
будут соответсвовать стандарту. А где в стандарте может быть прописано то, что
выше определилось как "Своства рантайма, навороченные, которые потрясут нафик,
когда что нибудь, как обычно(сотальной дред пропущен) "?

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

125. "Первый выпуск LibreSSL, форка OpenSSL от проекта OpenBSD"  +/
Сообщение от Аноним (-), 14-Июл-14, 23:23 
> объектамс, в течении времени их жизни. Реализации могут быть какими угодно, но
> все они
> будут соответсвовать стандарту. А где в стандарте может быть прописано то, что
> выше определилось как "Своства рантайма, навороченные, которые потрясут нафик,
> когда что нибудь, как обычно(сотальной дред пропущен) "?

Да вот прямо в спецификации ВМ, той же Явы. Если бы вы не доказывали методично, что не умеете читать, то получили бы точное место, где прописано, например, что никакой детерминированности выполнения GC нет, и что он может с чистой совестью останавливать работу ВСЕХ остальных тредов для выполнения своей работы. Что, конечно, может обходиться некоторыми костыльными методами, но не суть.

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

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

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




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

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