4.2 Доказуемая безопасность микс-сетей

Хотя большинство конструкций стойких микс-сетей используют чистое шифрование Эль-Гамаля, некоторые предоставляют решения на основе гибридных схем. В [150] Окубо и Эйб представили гибридный микс без расширения шифртекста. Якобсон и Жуллс также представли схему, противостоящую любому совместному действию меньшинства серверов [112]. Мёллер представил свойства безопасности пакетов микс формата в [141]. Кэймениш и Лисянская представили работу по дальнейшему доказательству корректности формата пакетов в [26]. Другие форматы пакетов пытаются предоставить особенные свойства: Голль использует формат пакетов для предоставления доказательства того, что часть выхода микса получена из его входа, снимая подозрения с оператора в том что он вбросил сообщение [90].

Также для увеличения надёжности микс-сетей [61] и для микс-каскадов в [69] используются схемы, основанные на репутации. Обе эти публикации показывают способы замены страниц статистики, которые собираются в системе Mixmaster с помощью пингеров [154] при помощи более стойких систем для определения: какие узлы надёжны, а какие — нет. Затем пользователи могут выбрать надёжные узлы или система может исключить какие-либо ненадёжные узлы из директорий. Эта идея заключается не в том, чтобы предоставить доказуемые гарантии обработки, а только увеличения вероятности того, что для обработки будут выбраны надёжные миксы. Получаются статистические гарантии того, что миксы обрабатывают сообщения должным образом, а накладные расходы на криптографическую сложность этой схемы меньше, чем для микс-систем с доказательством перемешивания и т.п. Вероятно это больше подходит для коммуникаций общего типа, чем к тем, в которых неправильное обращение даже с единственным сообщением должно быть предотвращено или обнаружено с очень высокой вероятностью. Также как и более поздние rgb-миксы, которые упоминались выше, они используют тестовые сообщения для мониторинга сети. В принципе это может обеспечить произвольно высокую вероятность детектирования неправильного обращения (в пределах уверенности), подразумевая, что накладные расходы на тестовые сообщения не слишком высоки, чтобы выйти за пределы практичности или неразличимости от других сообщений.

Назад | Оглавление | Дальше