The OpenNET Project / Index page

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



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

Оглавление

Уязвимости в клиентах Matrix, позволяющие раскрыть ключи сквозного шифрования , opennews (??), 14-Сен-21, (0) [смотреть все]

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


20. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +/
Сообщение от uis (ok), 14-Сен-21, 16:10 
Kotlin безопасный говорили одни. Dart безопасный говорили другие. Третьи говорили, что javascript и typescript безопасны. Прочие сидели на жабе и её тоже считали безопасной.
Растоманы обязательно напишут, что это всё из-за "небезопасной" работы с памятью(в js, ага). Ну и во всём виноваты сишечка и компьютерные игры.
Upd: я и не заметил, что на расте таки есть. Реактивненько дrustанули.
Ответить | Правка | Наверх | Cообщить модератору

46. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +3 +/
Сообщение от Аноним (57), 14-Сен-21, 16:45 
Ошибка логическая и на всех языках одинаковая. Типобезопасность, работа с памятью и буферами к не отношения не имеет.
Ответить | Правка | Наверх | Cообщить модератору

104. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  –4 +/
Сообщение от uis (ok), 14-Сен-21, 22:15 
> Ошибка логическая и на всех языках одинаковая.

Абсолютно согласен, но rusтоксикозников не переубедишь. Как и go-секов, любителей пощекотать js и ширяющихся кошлином.
Их проблема, что они считают язык источниклм всех их бед, и если они будут писать на $mainstreamlanguage, то ни одна ошибка не прокрадётся в код.

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

55. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  –1 +/
Сообщение от JackONeill (?), 14-Сен-21, 17:01 
А какие безопасные по вашему мнению?
Ответить | Правка | К родителю #20 | Наверх | Cообщить модератору

59. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +1 +/
Сообщение от Аноним (-), 14-Сен-21, 17:08 
> А какие безопасные по вашему мнению?

С и С++, если выпрямить руки и быть внимательным, идеально-сферическим разработчиком!
А еще все диалекты ЦУдРвКО (Ценные Указания для Разработчиков в Комментариях Опеннет) - там ни разу еще эксплуатируемю в реальности уязвимость не находили!

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

80. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  –1 +/
Сообщение от JackONeill (?), 14-Сен-21, 18:54 
Т.е. вы не согласны с тем, что при прямых руках, идеально-сферический девелопер способен написать безопасный код на том же kotlin, java, rust и даже JS?
Ответить | Правка | Наверх | Cообщить модератору

93. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +1 +/
Сообщение от Аноним (-), 14-Сен-21, 20:54 
> Т.е. вы не согласны с тем, что при прямых руках, идеально-сферический девелопер
> способен написать безопасный код на том же kotlin, java, rust и даже JS?

Нет, не согласен.

Только c ЯП с формальной верификацией (с возможностью отдельной нотации общей "модели" программы и данных a la B-Methode) будет шанс. Но кто оплатит этот "банкет"?

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

95. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  –1 +/
Сообщение от JackONeill (?), 14-Сен-21, 21:07 
Где почитать об этом подробнее? Интересно.
Ответить | Правка | Наверх | Cообщить модератору

102. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +4 +/
Сообщение от Аноним (-), 14-Сен-21, 21:31 
> Где почитать об этом подробнее? Интересно.

Хз - тема достаточно обширная и глубокая. Я бы посоветовал начать, помимо англоязычной википедии, с вводных ВУЗовских лекций на тему "формальная верификация".

А так - "классика" Agda/Coq/Idris/(AterlierB в качестве продолжателя Method-B)
Еще есть F* (f-star)
http://www.fstar-lang.org/tutorial/
и low-star
https://fstarlang.github.io/lowstar/html/Core.html
плюс kreMLin https://github.com/FStarLang/kremlin

Из "новых-маргинальных" можно глянуть кока https://koka-lang.github.io/koka/doc/book.html?#sec-basics или dafny https://rise4fun.com/Dafny/tutorial/Termination (Dafny, имхо, хорош простотой и доступностью для тех, кто "вообще не в теме")  
Ну и сам rise4fun полистать - там много интересного.

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

103. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +/
Сообщение от JackONeill (?), 14-Сен-21, 21:32 
Благодарю
Ответить | Правка | Наверх | Cообщить модератору

92. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +1 +/
Сообщение от YetAnotherOnanym (ok), 14-Сен-21, 20:48 
Более-менее безопасен канцелярит.
Ответить | Правка | К родителю #55 | Наверх | Cообщить модератору

107. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +4 +/
Сообщение от uis (ok), 14-Сен-21, 22:33 
Смотря для кого
Ответить | Правка | Наверх | Cообщить модератору

106. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +/
Сообщение от uis (ok), 14-Сен-21, 22:31 
> А какие безопасные по вашему мнению?

По моему - математика. Хотя и это спорно: в математике при делении на ноль начинается бесконейчный цирк с конями неопределённости.
Выше накидали интересных ссылок.

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

124. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +/
Сообщение от anonymous (??), 15-Сен-21, 10:49 
> Растоманы обязательно напишут, что это всё из-за "небезопасной" работы с памятью(в js, ага).

Нет, не напишу. Боритесь с голосами в своей голове?

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

173. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +/
Сообщение от Аноним (174), 16-Сен-21, 20:46 
Таку уже написали. Глаза открой.
Ответить | Правка | Наверх | Cообщить модератору

177. "Уязвимости в клиентах Matrix, позволяющие раскрыть ключи скв..."  +/
Сообщение от anonymous (??), 17-Сен-21, 10:11 
Ссылочку, пожалуйста.
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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