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

Федеральный Суд США обязал предоставить исходные тексты ПО для анализа ДНК, opennews (??), 01-Мрт-21, (0) [смотреть все] Хороший прецедент, со всеми бы исследованиями и тестами бы так Но это только, InuYasha (??), 12:53 , 01-Мрт-21, (1) +29 // чаю кэпу , Таненбаум (?), 12:56 , 01-Мрт-21, (4) +9 Карнеги рулит применяемое при сборе доказательств программное обеспечение , Аноним (58), 16:56 , 01-Мрт-21, (58) +4 // Ок, а если человек невиновен Пусть все равно отсидит 10-20-30 лет Или вышка Я, alex (??), 19:00 , 01-Мрт-21, (69) +4 Вообще-то для этого и существуют независимые экспертные группы, аудиторы , InuYasha (??), 19:17 , 01-Мрт-21, (70) Тебе сколько лет раз ты все ещё веришь в независимость , Неа (?), 08:59 , 02-Мрт-21, (115) Вы же понимаете, что это был ответ на комментарий, что адвокаты не могут разбира, Timoteo Cirkla (ok), 23:20 , 03-Мрт-21, (159) Обвинитель -- тоже адвокат И должен доказать обвинение, и на основании презумпц, Анон Алког (?), 20:11 , 01-Мрт-21, (76) Свой код пиши и открывай Создавай преценденты за свой счёт, покажи всем как нуж, Ты идиот (?), 23:07 , 01-Мрт-21, (90) –5 А это в данном случае не важно - теперь выбор будет между экспертизой с помощью , Аноним (103), 02:17 , 02-Мрт-21, (103) +3 // Вот это - верная позиция, лучше пусть будет такъ , InuYasha (??), 10:29 , 02-Мрт-21, (120) +1 Да и для обратных случаев тоже Бывают и случаи, когда по экспертизе ДНК сажаю, Timoteo Cirkla (ok), 23:22 , 03-Мрт-21, (160) Теперь осталось подвергнуть независимому аудиту ПО, подсчитывающее голоса на выб, Тот_Самый_Анонимус (?), 07:48 , 02-Мрт-21, (107) +3 // Когда в СШ так сделали, выскрылся весь демократрэш и начался тот безпредел, что , InuYasha (??), 10:27 , 02-Мрт-21, (119) +1 // Есть ссылки на результаты проверки Я слышал обратное, что после попыток дискред, pda (?), 12:49 , 02-Мрт-21, (123) Нет, присылали куда-то в чаты Но суть не в плохом ПО, вроде, а в том что данным, InuYasha (??), 14:49 , 02-Мрт-21, (130) Там было другое 60 Бюлютеней не проходили автомататическую обработку Отбрако, Аноним (144), 17:40 , 02-Мрт-21, (144) +1 Читайте про Diebold voting machine scandal -- помнится, и на LWN было Ну а то,, Michael Shigorin (ok), 22:44 , 02-Мрт-21, (145) –1 Да и здесь не хотят Или скажете, что все сведения про карусели в России - это ф, Timoteo Cirkla (ok), 23:23 , 03-Мрт-21, (161) Фейк, пока не доказанно обратное Если вас не устраивает презумпция невиновности, Тот_Самый_Анонимус (?), 06:26 , 09-Мрт-21, (173) Покуда есть деньги, и колесо правосудия будет поворачиваться в нужную сторону , Аноним (114), 08:53 , 02-Мрт-21, (114) в битве СПО и ПроПриПО все средства хороши, Леголас (ok), 12:55 , 01-Мрт-21, (2) –2 Вполне логично и закономерно Это интересно Вообще спорное решение , Аноним (3), 12:56 , 01-Мрт-21, (3) +1 // Вполне нормальное решение Вообще часть инструментов и средств должна быть откры, Аноним (6), 13:03 , 01-Мрт-21, (6) +14 // Поддерживаю всеми руками и ногами Странно, где-то еще разрешают вершить правосу, randomize (?), 01:33 , 02-Мрт-21, (100) +1 Это весьма сомнительно Если в алгоритме были изъяны, то результатам работы подо, Lex (??), 13:02 , 01-Мрт-21, (5) // Вполне нормальное решение Вообще часть инструментов и средств должна быть откры, Аноним (6), 13:03 , 01-Мрт-21, (7) +1 // Вроде бы и так, а вроде бы и нет Наличие открытых данных позволит при некоторой , Lex (??), 14:02 , 01-Мрт-21, (28) –4 А это не требуется Достаточно того, что собранная из этих исходников программа , Какаянахренразница (ok), 14:13 , 01-Мрт-21, (33) +2   // Т е по вашему, суть аудита кода в том, чтобы черти кто, не пройдя возможную сп, Lex (??), 08:03 , 02-Мрт-21, (109)   С точки зрения здравого смысла, вы правы Но на практике получается примерно так, Какаянахренразница (ok), 11:24 , 03-Мрт-21, (155)   Об этом я и говорю Максимум, что те типы могут сделать - это просто посмотреть , Lex (??), 15:01 , 03-Мрт-21, (156) +1   Это какое ПО применяется для вершения правосудия Хоть один пример за всю истори, Аноним (73), 19:35 , 01-Мрт-21, (73) // В новости указано же название программы Где гарантия, что программа из-за несов, randomize (?), 01:36 , 02-Мрт-21, (101) Адвокат на пенсии Когда я был молод, я проиграл много дел, которые должен был , Какаянахренразница (ok), 02:56 , 02-Мрт-21, (105) +1 Где гарантия, что адвокат прилагает абсолютно все возможные усилия для защиты по, Lex (??), 08:07 , 02-Мрт-21, (110) Извините, но это - демагогия Отпечатки пальцев - это прямое доказательство, кот, randomize (?), 12:01 , 02-Мрт-21, (121) –1 Пардон, в данном случае - ДНК, а не отпечатки Но суть та же , randomize (?), 12:06 , 02-Мрт-21, (122) –1 Как до серьезных понятие дошли - так извините, но это - демагогия ц Но вообще, Lex (??), 12:59 , 02-Мрт-21, (124) +1 Это все понятно Извиняюсь, если обидел Понятное дело, что судья или адвокат мо, randomize (?), 17:13 , 02-Мрт-21, (138) а зачем им Выполнят этот самый код после аудита если аудит не покажет что код , авыдокажити (?), 13:54 , 01-Мрт-21, (23) // Им подобного никто не поручал, нет никаких гарантий, что они перед выполнением ч, Lex (??), 13:59 , 01-Мрт-21, (26) Тут может быть несколько вариантов Если некая группа экспертов вынесет заключени, АКРОНИМ (?), 14:15 , 01-Мрт-21, (36) Так по уму это не они должны доказывать А код изначально открыт и бинарник довер, mos87 (ok), 14:18 , 01-Мрт-21, (37) –1 Ну как Как обычно Суд Адвокат Свидетель, это действительно код данной версии, Анон Алког (?), 20:21 , 01-Мрт-21, (77) Соберут и прогонят данные через эту сборку Если получится тот же результат бит-, Ordu (ok), 21:00 , 01-Мрт-21, (80) // Ты давно коммерческое ПО видел С каких это пор его просто запускаешь - и оно пр, Lex (??), 08:17 , 02-Мрт-21, (111) // Ничто не мешает Но представителю этой конторы придётся сообщать о своей находке, Ordu (ok), 15:07 , 02-Мрт-21, (131) gt оверквотинг удален Но на самом деле не придется Ведь им поручено лишь пров, Lex (??), 09:45 , 04-Мрт-21, (162) Откуда дровишки Ты это сам придумал, или вычитал где Поделись ссылкой , Ordu (ok), 12:54 , 04-Мрт-21, (163) Да это ты придумал, что, по решению суда, согласно которому разрешили просто пос, Lex (??), 14:16 , 04-Мрт-21, (164) Я придумал, но исходя из понятной логики суд согласился с тем, что нужны доказа, Ordu (ok), 14:41 , 04-Мрт-21, (165) Ну вообще-то нет Подразумевается лишь проверка корректности составления проги Н, Lex (??), 17:02 , 04-Мрт-21, (166) Покажи мне те слова в новости, или может в тексте официального решении суда, кот, Ordu (ok), 22:14 , 04-Мрт-21, (167) Ну вот и начался бесполезный срач Покажи мне те слова в решении, согласно котор, Lex (??), 08:58 , 05-Мрт-21, (169) Перечитай новость Суд потребовал раскрытия исходников _для_проведения_аудита_ , Ordu (ok), 12:12 , 05-Мрт-21, (170) Посмотреть в код на что было дано разрешение - не значит собрать его Тем бол, Lex (??), 14:19 , 05-Мрт-21, (171) Вот у меня иногда возникает странное ощущение, что люди читающие текст не умеют , Ordu (ok), 17:05 , 05-Мрт-21, (172) А о каком конкретно идет речь Хотелось бы почитать, Аноним (9), 13:10 , 01-Мрт-21, (9) –1 Вот бы в одной стране открыли бы исходники программы для подсчёта голосов для вы, Аноним (10), 13:12 , 01-Мрт-21, (10) +5 // Голоса пришедшие по почте считают вручную, без использования ПО , Атон (?), 13:24 , 01-Мрт-21, (12) +2 С программой всё нормально, вопросы к тем, кто вводил , Аноним (17), 13:37 , 01-Мрт-21, (17) +1 // Точно всё нормально Мне недостаточно услышать это на словах Хочу открытый код , Аноним (10), 13:39 , 01-Мрт-21, (20) // на калькуляторе считается похоже Промежуточные итоги считаются вручную и записы, Аноним (45), 14:56 , 01-Мрт-21, (45) А потом итоговые локальные бумажки собирают со всей страны и суммируют, да , Аноним (49), 15:33 , 01-Мрт-21, (49) –1 В вопросе имел в виду вручную передачу со всей страны и вручную общий подсчёт , Аноним (49), 15:34 , 01-Мрт-21, (50) Типо того Применительно к РФ алгоритм следующий несколько лет назад по крайней, Lex (??), 08:32 , 02-Мрт-21, (112) Хаха Никогда не сойдётся Некоторые люди забирают бюллетени на память Ну и набл, Аноним (116), 09:49 , 02-Мрт-21, (116) Именно поэтому проголосовавших бюллетеней может быть меньше, чем выданных поско, Lex (??), 13:08 , 02-Мрт-21, (126) +1 И что дальше Дампить прошивку КОИБа тебе не дадут, к серверам, где собирается и, YetAnotherOnanym (ok), 16:49 , 01-Мрт-21, (55) +1 // В таком случае доверие держится лишь на словах Я писал о невозможном , Аноним (75), 19:56 , 01-Мрт-21, (75) Это вы про США , Аноним (62), 17:39 , 01-Мрт-21, (62) Под какой лицензией Если несвободной, то это ударило по написанию свободных ана, Аноним (17), 13:16 , 01-Мрт-21, (11) –1 // Да там и так всё под патентами, а патенты запрещают любую реализацию, хоть свобо, Аноним (73), 19:37 , 01-Мрт-21, (74) –1 // В ряде случаев, если патент закрытый, можно настаивать, что разработано независи, Аноним (136), 15:42 , 02-Мрт-21, (136) Обычно говорят нет оснований не доверять вычислительной системе , Аноним (-), 13:25 , 01-Мрт-21, (13) +4 // у суда нет оснований не доверять инспектору , Аноним (38), 14:22 , 01-Мрт-21, (38) // Генетический код инспектора в студию , Аноним (45), 14:54 , 01-Мрт-21, (44) +1 Поставленной одним филиалом госдеппа в одну дружественную страну с запрето, Анон Алког (?), 21:30 , 01-Мрт-21, (81) Ну предоставят они какой-то код, но можно ли доказать, что это в точности тот са, Аноним (14), 13:27 , 01-Мрт-21, (14) +3 // Существуют техники для анализа отличий в билдах, плюс некоторые люди всё же спос, Аноним (16), 13:32 , 01-Мрт-21, (16) +5 Собрать этот код и повторить анализ , Аноним (17), 13:38 , 01-Мрт-21, (19) +7 // Хреново написано, каждый раз рандомные результаты, Аноним (66), 18:00 , 01-Мрт-21, (66) –1 // Тогда сделают вывод, что программе доверять нельзя Что и требовалось доказать , Аноним (136), 15:36 , 02-Мрт-21, (135) После того, как открыли черный ящик исходный код , можно четко понимать какими , KT315 (ok), 15:35 , 01-Мрт-21, (51) +1 // Если много зависит от окружения, то зачем такая программа нужна вообще Как ты м, Ordu (ok), 23:03 , 01-Мрт-21, (88) // Так ведет себя абсолютно весь софт Дело не в платформе, а в окружении Да все т, KT315 (ok), 23:18 , 01-Мрт-21, (94) –3 Нет, не абсолютно Если софт хочет стабильно парсить ввод, а sscanf на разных пл, Ordu (ok), 00:16 , 02-Мрт-21, (95) Ну да, 2 2 может быть 3 или 5, в зависимости от платформы А в военное время даж, nobody (??), 14:11 , 02-Мрт-21, (128) Вспоминается история с софтом рентгеновского аппарата, который из-за race condit, Аноним (116), 10:09 , 02-Мрт-21, (117) +1 Я слышал эту историю, но не помню В чём там мякотка была Вроде в том, что непо, Ordu (ok), 15:28 , 02-Мрт-21, (133) Тут нашлось про race condition https tech onliner by 2019 04 25 therac-25, Совершенно другой аноним (?), 15:50 , 02-Мрт-21, (137) +1 Фактически это юридическое признание того, что программный код в определенных ус, Аноним (30), 14:10 , 01-Мрт-21, (30) +1 // Хуже - истины в последней инстанции Даже законы не столь всемогущи , mos87 (ok), 14:15 , 01-Мрт-21, (35) +2 // Просто манипуляторы , Аноним (149), 08:46 , 03-Мрт-21, (149) Бабла и мозгов то хватит разобрать код который разбирает человеческий геном , Аноним (45), 14:53 , 01-Мрт-21, (43) –3 // На примерах можно легко сравнить фазингом , Аноним (60), 17:17 , 01-Мрт-21, (60) Никто там не разбирает именно геном в виде кода базовых пар Дороговато будет Ра, Аноним84701 (ok), 04:26 , 02-Мрт-21, (106) +2 Получат кучу исходник с кучей формул И что дальше Они не то что ошибки не найд, Аноним (46), 15:20 , 01-Мрт-21, (46) –2 // Откуда такая уверенность Ты лично знаком с теми, кто будет проводить аудит , YetAnotherOnanym (ok), 16:54 , 01-Мрт-21, (57) // Копаться в чужом коде всегда огромная задница, особенно в таком сложном В больш, Аноним (62), 17:44 , 01-Мрт-21, (63) –2 // Приходилось мне как-то заниматься анализом кода вида int a1 a28 float b1 , InuYasha (??), 19:23 , 01-Мрт-21, (72) –1 И как, если не секрет Мне когда пришлось, я разбирался в работе кода рефакторин, Ordu (ok), 00:36 , 02-Мрт-21, (99) Да примерно так же Но я обычно начинаю с переименовывания переменных благо, м, InuYasha (??), 10:24 , 02-Мрт-21, (118) +1 А ты знаком и можешь чтобы утверждать обратное , Аноним (46), 20:29 , 01-Мрт-21, (78) // А пробирка с белым порошком канает за доказательство , Аноним (149), 17:19 , 02-Мрт-21, (140) +1 Скрыто модератором, Dzen Python (ok), 15:25 , 01-Мрт-21, (48) –1 почему код на основании формировании доказательств которого могут осудить любог, Аноним (52), 15:40 , 01-Мрт-21, (52) +1 А кто будет проверять независимый аудит , чтобы он не нашел внезапно ошибку в, Аноним (58), 16:53 , 01-Мрт-21, (56) // Проверять нужды нет Аудит покажет на кокнретный кусок кода Будет конкретный при, Ан О Ним (?), 20:53 , 01-Мрт-21, (79) // Это кто это покажет Софт - это интеллектуальная и коммерческая собственность со, Аноним (96), 00:28 , 02-Мрт-21, (96) –1 // Вам только покажи , Аноним (96), 00:28 , 02-Мрт-21, (97) –1 Подсудимый , Ан О Ним (?), 07:45 , 05-Мрт-21, (168) Ты не смотрел американского кина никогда Они очень любят показывать, как это пр, Ordu (ok), 21:36 , 01-Мрт-21, (83) +1 // Дело не в кине - дело в западном подходе к защите одной из сторон Практически вс, Lex (??), 14:18 , 02-Мрт-21, (129) +1 // Знаток западной юридической системы В смысле ты не только по кину её знаешь А , Ordu (ok), 15:26 , 02-Мрт-21, (132) –1 Мы, видите ли, опытней , Michael Shigorin (ok), 22:51 , 02-Мрт-21, (146) Ну так и валите все в США консультантами А то у нас здесь не продохнуть уже от , Ordu (ok), 23:28 , 02-Мрт-21, (147) –1 Думаю просто защита тянет время, абы к чему прицепитсо, явных умыслов коммерческ, Аноним (104), 02:51 , 02-Мрт-21, (104) // Ну, это работа защиты А вообще, кроме злого умысла бывает ещё разгильдяйство Б, pda (?), 15:30 , 02-Мрт-21, (134) 1,2,3,5,9,10,11,13,14,30,43,46,52,56,104

Сообщения

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

	33. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+2 +/–
	Сообщение от Какаянахренразница (ok), 01-Мрт-21, 14:13
	> ... как они докажут что предоставлены полные коды и что они соответствуют конкретной версии программы ? А это не требуется. Достаточно того, что собранная из этих исходников программа даёт такой результат, какой был представлен суду.
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

	109. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+/–
	Сообщение от Lex (??), 02-Мрт-21, 08:03
	> А это не требуется. Достаточно того, что собранная из этих исходников программа > даёт такой результат, какой был представлен суду. Т.е по вашему, суть "аудита кода" в том, чтобы черти кто, не пройдя возможную специфическую подготовку, просто что-то как-то собрали на неведомо каком железе и ОС( а проект, кстати, вовсе не обязан быть компилируемым на любом железе и ОС с любым инструментарием - в конторе может использоваться специфическая система сборки и проч ) По итогу запуска полученного бинарна что-то где-то как-то потыкал и получил какие-то значения, достоверность которых фундаментально сильно меньше тех, которые получены соотв службой ? И это без учета того, что коммерческое ПО "внезапно" вовсе не должно после компиляции просто запускаться и работать полным функционалом - нужна лицензия, нужны ключи доступа согласно энному тарифу итп, которые, как ни странно, предоставлять никто не обязан.
	Ответить | Правка | Наверх | Cообщить модератору

	155. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+/–
	Сообщение от Какаянахренразница (ok), 03-Мрт-21, 11:24
	С точки зрения здравого смысла, вы правы. Но на практике получается примерно так: "Суд обязал нас предоставить лицу Икс исходный код программы Игрек? Хорошо, вот он. Не той версии? Название программы совпадает, значит это именно тот код. В исполнительном листе ничего не сказано про версии. Не собирается? Так мы не обязаны предоставлять инструменты для сборки. Да и не имеем права -- они не наши, мы только пользуемся. Бинарная сборка не совпадает? К сожалению, у нас технической возможности воспроизвести сборку. Шта, результат не совпадает? А вот это вааще не наша проблема. Иди сперва докажи, что это не вы испортили хорошую годную прогу! Дуся, а ну гони их шваброй отсудава!!!"
	Ответить | Правка | Наверх | Cообщить модератору

	156. "Федеральный Суд США обязал предоставить исходные тексты ПО д..."	+1 +/–
	Сообщение от Lex (??), 03-Мрт-21, 15:01
	Об этом я и говорю. Максимум, что те типы могут сделать - это просто посмотреть в предоставленный исходный код и указать на неточности алгоритма и проч если они есть, никто никакие сборки делать и что-то сверять им не даст, да июни и не смогут скорее всего. А если еще и суть проги в том, что она связывается с сервером, передает ему исходные данные и потом просто отображает ответ, тогда как на самом сервере работает или нейросеть или имеется гигантская выборка, то.. даже если будет несколько постановлений суда в т.ч предоставлением доступа к серверу( вряд ли ), господа просто идут в известном направлении ибо ничего доказать не смогут, ведь увидят в предоставленном коде только пересылку данных на сервак и отображение окошка с полученным ответом.
	Ответить | Правка | Наверх | Cообщить модератору

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

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