А задача шифрования с гарантированной стойкостью _решена_, причем реализующие ее компоненты систем в силу ее алгоритмической простоты, детерминированности и отсутствия в процессе человека могут быть вплотную приближены к "идеалу невзламываемой системы". ... Естественно, у фантаста всегда остается возможность "перпендикулярного" решения задачи, выхода за плоскость допустимых решений. Например, придумать джамп-двигатель. Для нашей темы мне приходят в голову два варианта такого развития:
- Переход на принципиально не-неймановские компьютерные системы. Не просто "систем с элементами fuzzy-logic", а принципиально основанных на недетерминированных процессах - т.е. систем, близких по поведению к человеческому. Однако для этого необходима некая внешняя причина, т.к. иначе совершенно непонятно, зачем надежную систему заменять на ненадежную.
А вот затем и заменять. Чтобы в реальном времени ломать шифрование в каналах связи. Факторизация больших чисел (взлом RSA) - основное ради чего сейчас вкладывают деньги в квантовые компьютеры.
И соответственно, свои каналы тоже после этого придется защищать подобными же системами. Потому что очевидно что при наличии у противника такой системы, любое шифрование, сделанное на фон-неймановской он взломает.
А у не-фоннеймановских систем могут быть свои тараканы.
Хороший пример использования нефоннеймановской архитектуры есть у Садова в "Горе победителям". Там был целый класс цивилизаций, который считал невозможным применение т.н. биокомпьютеров для управления космическими кораблями. А главный герой - мальчишка с дикой (соответствующей современному уровню) Земли взял и поставил биокомпьютер на свой корабль. И получил совершенно немыслимые ТТХ ценой того что ему пришлось считаться с личностью компьютера (а в тех цивилизациях и с личностью членов экипажа не очень-то считались). Ближе к концу романа, правда, выяснилось, что в данной вселенной существует еще один класс цивилизаций, который вовсю использует биокомпьютеры. И эти цивилизации с точки зрения "обычных" - это сверхцивилизации немыслимой силы.
Да, кстати, для создания обходного пути совершенно необязательно выходить за пределы фоннеймановской архитектуры. НЕ ДОКАЗАНО, что не существует эффективного метода факторизации больших чисел или дискретного логарифмирования (взлом DSA и ныне покойного ГОСТ Р 34.10-94). А уж про эллиптические кривые (ECDSA и действующий ГОСТ Р 34.10-2001) вообще не так много математических результатов есть. Можно ввести в произведение гениального математика, который этот метод открыл.
no subject
Date: 2008-03-13 08:15 pm (UTC)...
А вот затем и заменять. Чтобы в реальном времени ломать шифрование в каналах связи. Факторизация больших чисел (взлом RSA) - основное ради чего сейчас вкладывают деньги в квантовые компьютеры.
И соответственно, свои каналы тоже после этого придется защищать подобными же системами. Потому что очевидно что при наличии у противника такой системы, любое шифрование, сделанное на фон-неймановской он взломает.
А у не-фоннеймановских систем могут быть свои тараканы.
Хороший пример использования нефоннеймановской архитектуры есть у Садова в "Горе победителям". Там был целый класс цивилизаций, который считал невозможным применение т.н. биокомпьютеров для управления космическими кораблями. А главный герой - мальчишка с дикой (соответствующей современному уровню) Земли взял и поставил биокомпьютер на свой корабль. И получил совершенно немыслимые ТТХ ценой того что ему пришлось считаться с личностью компьютера (а в тех цивилизациях и с личностью членов экипажа не очень-то считались). Ближе к концу романа, правда, выяснилось, что в данной вселенной существует еще один класс цивилизаций, который вовсю использует биокомпьютеры. И эти цивилизации с точки зрения "обычных" - это сверхцивилизации немыслимой силы.
Да, кстати, для создания обходного пути совершенно необязательно выходить за пределы фоннеймановской архитектуры. НЕ ДОКАЗАНО, что не существует эффективного метода факторизации больших чисел или дискретного логарифмирования (взлом DSA и ныне покойного ГОСТ Р 34.10-94). А уж про эллиптические кривые (ECDSA и действующий ГОСТ Р 34.10-2001) вообще не так много математических результатов есть. Можно ввести в произведение гениального математика, который этот метод открыл.