.RU

Криптографические протоколы - часть 2

Атакующий может попытаться внести изменения в протокол ради собственной выгоды. Он может выдать себя за участника протокола, внести изменения в сообщения, которыми обмениваются участники протокола, подменить информацию, которая хранится в компьютере и используется участниками протокола для принятия решений. Это активная атака на протокол, поскольку атакующий (назовем его Зиновием) может вмешиваться в процесс выполнения шагов протокола его участниками.

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

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

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

Доказательство с нулевым разглашением конфиденциальной информации

Антон: "Я знаю пароль для входа в компьютерную сеть Центробанка и рецепт приготовления „Байкала"".

Борис: "Нет, не знаешь!"

Антон: "Нет, знаю!"

Борис: "Чем докажешь?"

Антон: "Хорошо, я тебе все расскажу".

Антон долго шепчет что-то на ухо Борису.

Борис: "Действительно интересно! Надо сообщить об этом газетчикам!"

Антон: "Ё-моё..."

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

Конечно, есть. В первую очередь, Антону не следует доверять свою тайну Борису. Но как тогда Антон сможет убедить Бориса в том, что действительно входит в число посвященных?

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

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

Протокол доказательства с нулевым разглашением конфиденциальной информации

Использование доказательства с нулевым разглашением конфиденциальной информации можно пояснить на конкретном примере.

Предположим, что имеется пещера, точка входа в пещеру обозначена буквой A, в точке B пещера разветвляется на две половины - C и D (см. рисунок). У пещеры есть секрет: только тот, кто знает волшебные слова, может открыть дверь, расположенную между C и D.

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

1. Борис стоит в точке A.

2. По своему выбору Антон подходит к двери либо со стороны точки C, либо со стороны точки D.

3. Борис перемещается в точку B.

4. Борис приказывает Антону появиться или (а) - через левый проход к двери, или (б) - через правый проход к двери.

5. Антон подчиняется приказу Бориса, в случае необходимости используя волшебные слова, чтобы пройти через дверь.

6. Шаги 1-5 повторяются n раз, где n - параметр протокола.

Допустим, что у Бориса есть видеокамера, с помощью которой он фиксирует все исчезновения Антона в недрах пещеры и все его последующие появления с той или иной стороны. Если Борис покажет записи всех n экспериментов, произведенных им совместно с Антоном, смогут ли эти записи послужить доказательством знания Антоном волшебных слов для другого человека (например, для Владимира)?

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

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

Протокол доказательства с нулевым разглашением срабатывает в силу того, что, не зная волшебных слов, Антон может выходить только с той стороны, с которой зашел. Следовательно, только в 50 % всех случаев Антон сумеет обмануть Бориса, сумев выйти именно с той стороны, с которой тот попросит. Если количество экспериментов равно n, то Антон успешно пройдет все испытания только в одном случае из 2n. На практике можно ограничиться n=16. Если Антон правильно исполнит приказ Бориса во всех 16 случаях, значит, он и вправду знает волшебные слова.

Пример с пещерой является очень наглядным, но имеет существенный изъян. Борису будет значительно проще проследить, как в точке B Антон поворачивает в одну сторону, а потом появляется с противоположной стороны. Протокол доказательства с нулевым разглашением здесь попросту не нужен.

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

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

2. Антон задействует протокол предсказания бита для найденного на шаге 1 решения, чтобы впоследствии, если у Бориса возникнет необходимость ознакомиться с этим решением, Борис мог бы достоверно убедиться, что предъявленное Антоном решение действительно было получено им на шаге 1.

3. Антон показывает новую труднорешаемую задачу Борису.

4. Борис просит Антона

или (а) - доказать, что две труднорешаемые задачи (старая и новая) изоморфны,

или (б) - предоставить решение, которое Антон должен был найти на шаге 1, и доказать, что это действительно решение задачи, к которой Антон свел исходную задачу на том же шаге.

5. Антон выполняет просьбу Бориса.

6. Антон и Борис повторяют шаги 1-6 n раз, где n - параметр протокола.

Труднорешаемые задачи, способ сведения одной задачи к другой, а также случайные числа должны по возможности выбираться так, чтобы у Бориса не появилось никакой информации относительно решения исходной задачи даже после многократного выполнения шагов протокола.

Не все труднорешаемые задачи могут быть использованы при доказательстве с нулевым разглашением конфиденциальной информации, однако большинство из них вполне пригодны для таких целей. Примерами могут служить отыскание в связном графе цикла Гамильтона (замкнутого пути, проходящего через все вершины графа только один раз) и определение изоморфизма графов (два графа изоморфны, если они отличаются только названиями своих вершин).

Параллельные доказательства с нулевым разглашением конфиденциальной информации

Обычный протокол доказательства с нулевым разглашением конфиденциальной информации требует, чтобы Антон и Борис последовательно повторили его шаги n раз. Можно попробовать выполнять действия, предусмотренные этим протоколом, одновременно:

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

2. Антон задействует протокол предсказания бита для найденных на шаге 1 n решений, чтобы впоследствии, если у Бориса возникнет необходимость ознакомиться с этими решениями, Борис мог бы достоверно убедиться, что предъявленные Антоном решения действительно были получены им на шаге 1.


genrih-teodor-byoll-glazami-klouna.html
genuezskaya-i-gaagskaya-konferencii-stranica-5.html
geocad-kak-baza-dannih-dlya-vedeniya-reestra-registracii-prav-na-nedvizhimost-i-sdelok-s-nim.html
geodezicheskij-chertezh-teodolit.html
geodinamicheskie-processi-magmatizm.html
geoekologicheskie-problemi-gorodov.html
  • predmet.bystrickaya.ru/socialno-gumanitarnij-fakultet-koncepci-ya-razvitiya-kafedri-kulturologii-na-2009-2013-godi-utverzhdena-na-zasedanii-kafedri.html
  • school.bystrickaya.ru/bryopsida-referat.html
  • tetrad.bystrickaya.ru/vipolnenie-operacij-s-pomoshyu-pulta-du-ustrojstvo-radiopriemnoe-marantz-s-r50-04sr6004-rukovodstvo-po-ekspluatacii.html
  • literatura.bystrickaya.ru/sheshendk-szd-teg-sheshendk-szd-teg.html
  • vospitanie.bystrickaya.ru/zadanie-na-kursovoj-proekt-vidaetsya-na-specialnom-blanke-prilozhenie-2-v-kotorom-dolzhni-soderzhatsya-sleduyushie-dannie-formulirovka-temi-kursovogo-proekta.html
  • nauka.bystrickaya.ru/v-nash-pragmaticheskij-vek-takoe-srodni-umopomeshatelstvu-potomu-predpochitayu-pomalkivat.html
  • literature.bystrickaya.ru/bibliografiya-morfologiyase.html
  • university.bystrickaya.ru/glava-6-iz-mira-fauni-kurs-nachinayushego-volshebnika-vadim-gurangov-i-vladimir-dolohov.html
  • thesis.bystrickaya.ru/predislovie-kniga-stranica-18.html
  • otsenki.bystrickaya.ru/seminar-2-obshenauchnie-i-konkretno-predmetnie-uchebno-metodicheskoe-posobie-kazan-2006-udk-316-4-075-11-07-13-bbk-72-65ya73.html
  • kontrolnaya.bystrickaya.ru/rasstoyanie-bezopasnosti-rabochaya-gruppa-po-vnutrennemu-vodnomu-transportu.html
  • university.bystrickaya.ru/gn-11725-98-prajs-list-na-normativnuyu-metodicheskuyu-tipovuyu-proektnuyu-dokumentaciyu-i-drugie-izdaniya-po-stroitelstvu.html
  • uchebnik.bystrickaya.ru/urok-tema-pismennoe-umnozhenie-na-chisla-okanchivayushiesya-nulyami-urok-numeraciya-schet-predmetov-razryadi.html
  • literatura.bystrickaya.ru/rikketsiozi-programma-vstupitelnogo-ekzamena-v-internaturu-po-specialnosti.html
  • abstract.bystrickaya.ru/230-s1106-1109-kost-an-sagitullin-rs-gromov-sp-nucleophilic-amination-and-recyclization-of-the-indolizine-nucleus-heterocycles-1977-vol-7-stranica-3.html
  • znanie.bystrickaya.ru/analiz-antikrizisnogo-upravleniya-predpriyatiya-zao-arno-chast-9.html
  • institut.bystrickaya.ru/teoriya-i-praktika-sohraneniya-bioraznoobraziya-stranica-3.html
  • thescience.bystrickaya.ru/kardiologiya-i-angiologiya-bibliograficheskij-ukazatel-novih-postuplenij-v-rnmb-mart-aprel-2008-g.html
  • uchit.bystrickaya.ru/svodnij-plan-meropriyatij-provodimih-uchrezhdeniyami-kulturi-municipalnih-obrazovanij-kostromskoj-oblasti-v-dekabre-2011-goda-stranica-3.html
  • lesson.bystrickaya.ru/razvitie-fyuchersnih-kontraktov.html
  • zadachi.bystrickaya.ru/razvitie-innovacionnoj-deyatelnosti-predpriyatiya.html
  • desk.bystrickaya.ru/ot-rezultatov-prioritetnogo-nacionalnogo-proekta-obrazovanie.html
  • ekzamen.bystrickaya.ru/shtati-ssha-uchebnoe-posobie-dlya-studentov-regionovedov-i-anglijskogo-otdeleniya-fakulteta-lingvistiki-i-mezhdunarodnogo.html
  • uchenik.bystrickaya.ru/agrarnaya-pressa.html
  • predmet.bystrickaya.ru/sistema-visshego-obrazovaniya-stran-vostochnoj-evropi-latviya-vengriya-ukraina-sravnitelnij-analiz-sistem-obrazovaniya.html
  • institute.bystrickaya.ru/glava-38-transportnie-obyazatelstva-uchebnik-izdanie-chetvertoe-pererabotannoe-i-dopolnennoe.html
  • literatura.bystrickaya.ru/rejting-plan-disciplini-specializacii-po-discipline.html
  • turn.bystrickaya.ru/plan-raboti-gou-co-shkola-zdorovya-2000-na-mart-2008-goda-stranica-2.html
  • obrazovanie.bystrickaya.ru/poruchitelstvo-v-zakonodatelstve-pribaltiki-i-carstva-polskogo-sbornik-statej-pod-redakciej-professora-m-i.html
  • laboratornaya.bystrickaya.ru/programma-vstupitelnogo-ekzamena-v-magistraturu-po-napravleniyu-050100-pedagogicheskoe-obrazovanie-tara-2012-stranica-2.html
  • nauka.bystrickaya.ru/voprosi-dlya-samokontrolya-znanij-administrativnie-pravonarusheniya-v-tamozhennoj-sfere.html
  • znaniya.bystrickaya.ru/razvitie-gosudarstvennih-metodov-regulirovaniya-avtomobilnoj-promishlennosti-rossii-na-sovremennom-etape.html
  • control.bystrickaya.ru/blagotvoritelnost-centralnaya-pressa-za-vklad-v-ekonomiku-8-dekabrya-v-gk-prezident-otel-upravleniya-delami.html
  • literatura.bystrickaya.ru/sabati-tairibi-alfavit-siri-zhbdrashev-sabati-masati.html
  • tetrad.bystrickaya.ru/viza-specialnoe-razreshenie-sootvetstvuyushih-organov-inostrannogo-pravitelstva-na-vezd-viezd-prozhivanie-ili-proezd-cherez-territoriyu-dannogo-gosudarstva.html
  • © bystrickaya.ru
    Мобильный рефератник - для мобильных людей.