Русская Википедия:Квантовый протокол 4+2
Квантовый протокол 4+2 (BB84(4+2)) — протокол квантового распределения ключей, который был впервые предложен Б. Хаттнером, Н. Иммото, Н. Гисином, Т. Мором в 1995 году. Для кодирования информации протокол использует четыре квантовых состояния двухуровневой системы, формирующие два сопряжённых базиса, состояния в каждом из которых не ортогональны, состояние в разных базисах так же попарно не ортогональны.Шаблон:Sfn Носителями информации выступают двухуровневые системы- квантовые биты.
История
Квантовый протокол 4+2 впервые был предложен Б. Хаттнером и Н. Иммото из крупнейшей японской телекоммуникационной компании NTT , Н. Гисином из Женевского университета и студентом Техниона Т. Мором в работе "Quantum Cryptography with Coherent States" 21 февраля 1995 года. В работе были подробно описаны принцип работы протокола, его реализация и преимущества перед протоколом BB84 под угрозой PNS-атак.Шаблон:Sfn Считается, что этот протокол был первой осмысленной попыткой противостоять атаке с разделением по числу фотонов или PNS-атаке в истории развития криптографии.
Описание протокола
Основная идея
Основная идея квантового протокола 4+2 заключается в следующем: раз PNS-уязвимость протокола BB84 вызвана тем, что после согласования базисов перехватчик может получить точную информацию о передаваемом состоянии, то можно сделать состояния внутри каждого базиса неортогональными, тем самым сделав для перехватчика невозможным точное определение передаваемого состояния даже при известном базисе. Таким образом, в протоколе используются 4 квантовых состояния для кодирования «0» и «1» в двух базисах, что соответствует протоколу BB84, и состояния в каждом базисе выбираются неортогональными , что соответствует протоколу B92, состояния в разных базисах также попарно неортогональны. 4+2 использует своеобразную комбинацию протоколов BB84 и B92, отсюда и его название. Шаблон:Sfn
Кодирование состояний
Как и в протоколе BB84 имеем 4 состояния, образующие 2 базиса: <math>\left\{ {|0_x\rangle , |1_x\rangle} \right\}</math> , <math>\left\{ {|0_y\rangle , |1_y\rangle} \right\}</math>. В качестве примера такой конфигурации состояний удобно взять набор из четырех состояний, которые лежат в двух перпендикулярных плоскостях на сфере Пуанкаре, но не являются ортогональными, напримерШаблон:Sfn
- В первом базисе
- <math>|0_x\rangle = \operatorname{cos} \left(\left( \frac{\eta}{2} \right)|0\rangle\right) + \operatorname{sin} \left(\left( \frac{\eta}{2} \right)|1\rangle\right)</math>
- <math>|1_x\rangle = \operatorname{cos} \left(\left( \frac{\eta}{2} \right)|0\rangle\right) - \operatorname{sin} \left(\left( \frac{\eta}{2} \right)|1\rangle\right)</math>
- Во втором базисе
- <math>|0_y\rangle = \operatorname{cos} \left(\left( \frac{\eta}{2} \right)|0\rangle\right) + i*\operatorname{sin} \left(\left( \frac{\eta}{2} \right)|1\rangle\right)</math>
- <math>|1_y\rangle = \operatorname{cos} \left(\left( \frac{\eta}{2} \right)|0\rangle\right) - i*\operatorname{sin} \left(\left( \frac{\eta}{2} \right)|1\rangle\right)</math>
Таким образом, для наложения векторов каждого базиса, ввиду их неортогональности, получаемШаблон:Sfn: <math>\left| {\langle 0_x|1_x\rangle} \right| = \left| {\langle 0_y|1_y\rangle} \right| = \operatorname{cos} \eta</math>. На рисунке 2 наглядно изображены базисы квантовых протоколов BB84 и рассматриваемого 4+2. В протоколе BB84 состояния внутри одного базиса ортогональны, но состояния из разных базисов — попарно неортогональны, в случае же протокола 4+2 состояние внутри одного базиса также неортогональныШаблон:Sfn
Реализация протокола
Модель протокола состоит из двух абонентов и нарушителя. Обзовем их классически: легитимных пользователей- Алисой и Бобом, а нарушителя- Евой.
Этапы формирования ключейШаблон:Sfn:
- Станция Алиса случайным образом выбирает один из базисов. Внутри базиса также случайным образом выбираются состояния 0 или 1. Затем фотоны направляются в квантовый канал связи.
- Станция Боб случайно и независимо от Алисы выбирает измерения двух типов, в двух разных базисах. На, так называемом, детектировании стоит остановиться поподробнее. Разные типы измерений описываются разными разложениями единицы, что соответствует полной вероятности. Полное пространство исходов: <math>\left\{ {0 , 1, ?} \right\}</math>. Ниже представлены вероятности исходов или операторно-значные меры каждого из детектированных событий. В базисе (<math>\times</math>): <math>P_{0\left(\times\right)}+P_{1\left(\times\right)}+P_{?\left(\times\right)}=1</math>, где <math>P_{0\left(\times\right)}=a\left(\times\right) \left(1-{|0\left(\times\right)\rangle \langle 0\left(\times\right)|} \right)</math>, <math>P_{1\left(\times\right)}=a\left(\times\right) \left(1-{|1\left(\times\right)\rangle \langle 1\left(\times\right)|} \right)</math>, <math>P_{?\left(\times\right)}=1-P_{0\left(\times\right)}+P_{1\left(\times\right)}</math>, <math>a\left(\times\right)=a\left(+\right)=\frac{1}{1+\operatorname{cos} \left(\eta\right)}</math>. Аналогично и для другого базиса (<math>+</math>). Измерение построено таким образом, что если было послано состояние <math>|0\left(\times\right)\rangle</math>, то возможен исход <math>\left\{ {1} \right\}</math> или <math>\left\{ {?} \right\}</math>, но никак не <math>\left\{ {0} \right\}</math>, так как вероятность или операторно-значная мера этого исхода тождественно равна нулю.Шаблон:Sfn
- После передачи достаточно длинной последовательности пользователи через открытый общедоступный канал связи сообщают, какой базис был использован в каждой посылке. Результаты измерений остаются в секрете.
- Посылки, в которых базисы не совпадали, отбрасываются. Также отбрасываются посылки, в которых у Боба были неопределенные исходы. Боб, кроме этого, публично открывает их номера.
- Из оставшихся посылок (с определенным исходом) извлекается секретный ключ путем процедуры коррекции ошибок через открытый канал и усиления секретности.
Тут условные обозначения: <math>\left(\times\right) , \left(+\right)</math>,- не должны вызывать двусмысленности, так как, несмотря на внешний вид, обозначают неортогональные базисы.
Пример распределения ключейШаблон:Sfn:
Важно брать в расчет, что легитимным пользователям после отбрасывания лишних сообщений известно, что если было послано состояние <math>|0\left(\times\right)\rangle</math>, то оно дает противоположный исход <math>\left\{ {1} \right\}</math>. В соответствии с представленным выше алгоритмом формирования ключей, распределение ключей выглядит, например, таким образом:
| Двоичный сигнал станции Алиса | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| Поляризационный код станции Алиса | ↔ | ↕ | ↖ | ↗ | ↔ | ↕ | ↖ | ↗ |
| Детектирование станцией Боб | + | + | + | + | x | x | x | x |
| Двоичный сигнал станции Боб | 0 | ? | ? | 1 | 0 | ? | ? | 1 |
| Совпадают ли базисы | нет | да | нет | да | да | нет | да | нет |
Таким образом, в результате передачи ключа станцией Боб будут получены 50% фотонов, то есть <math>\left( \frac{2}{4} \right) = \left( \frac{1}{2} \right)</math>.
Криптостойкость и возможность взлома 4+2
PNS атака
Описание и принцип работыШаблон:Sfn
В практических схемах квантовой криптографии вместо идеальных однофотонных источников используются ослабленные лазерные импульсы. Такое техническое ограничение вместе с неизбежным затуханием в реальных каналах связи приводит к потере секретности протоколов, если перехватчик использует атаку разделения числа фотонов или PNS атаку. При использовании ослабленных лазерных импульсов вместо состояний <math>|0\rangle , |1\rangle</math> по квантовому каналу связи пересылаются состояния вида <math>|0\rangle^{\otimes n} , |1\rangle^{\otimes n}</math>, где <math>n>1</math> - число фотонов в импульсе. Если Ева произведет измерение, описывающееся разложением единицы и, собственно, называющееся операцией разделения фотонов:
<math>M_1 = |0\rangle\langle 0| + |1\rangle\langle 1|</math>
<math>M_2 = |00\rangle\langle 00| + |11\rangle\langle 11|</math>
<math>M_n = |0\rangle^{\otimes n}\langle 0|^{\otimes n} + |1\rangle^{\otimes n}\langle 1|^{\otimes n}</math>,
то она получит и информацию о числе фотонов в импульсе, и, кроме того, не внесет в канал никаких помех. Располагая информацией, о том, какие импульсы содержат несколько фотонов, Ева может заблокировать однофотонные импульсы, а для многофотонных импульсов, Ева может переслать Бобу лишь один фотон, произведя какие-либо действия над всеми остальными.
Атака на протокол BB84Шаблон:Sfn
Как уже оговаривалось, BB84- протокол с 2 базисами, состояния внутри каждого из которых ортогональны, а состояния из разных базисов- попарно неортогональны. Операция разделения фотонов может быть применена для взлома BB84. Ева может без последствий узнать число фотонов в каждом из импульсов. Сама атака строится так: если импульс содержит лишь один фотон, Ева его блокирует, в другом случае она оставляет в своей квантовой памяти (для ее реализации достаточно иметь обычную линию задержки) один из фотонов, пересылая остальные Бобу по своему идеальному каналу без потерь. После операции согласования базисов, которая производится по открытому каналу, Ева получает всю необходимую информацию для достоверного различения фотонов, которые у нее имеются. Соответственно Ева способна узнать весь ключ, не будучи обнаруженной. Таким образом BB84 полностью уязвим перед PNS атакой.
Возможность взлома, фильтрация
Согласно истории, квантовый протокол 4+2 был первой попыткой противостоять PNS атаке. Как полагали его создатели, Ева столкнется с двойной проблемой. Во-первых, раз уязвимость протокола BB84 перед PNS атакой заключается в том, что после согласования базисов Ева может получить точную информацию о передаваемом состоянии, то можно сделать состояния внутри каждого базиса неортогональными, что сделает для Евы невозможным точное определение передаваемого состояния даже при известном базисе. Во-вторых, если Ева будет проводить те же, измерения, что производит Боб, то это приведет к ситуации, похожей на явное прослушивание, то есть Ева внесет в канал ошибку, производя измерения в наугад выбранном базисе, и ее вмешательство будет обнаружено.Шаблон:Sfn Таким образом, на первый взгляд мы видим существенное преимущество перед BB84, и кажется, что 4+2 не уязвим перед PNS атаками, однако A. Acın, N. Gisin и V. Scarani в одной из своих работШаблон:Sfn показали, что Ева может провести измерение, которое они назвали фильтрацией: <math>A_{ok} = \frac{1}{\sqrt {1+\operatorname{cos}\eta}} \left(|+x\rangle\langle 1_x|+|-x\rangle\langle 0_x| \right)</math> , <math>A_? = \sqrt {1-A_{ok}A_{ok}^\dagger} </math>. Суть его в том, что оно в случае успеха делает состояния из базиса <math>X</math> ортогональными, проецируя их на <math>|\pm x\rangle = \frac{1}{\sqrt2}\left(|0\rangle \pm |1\rangle\right)</math>, а с некоторой вероятностью неудачи дает несовместный исход. Проблема протокола 4+2 заключается в том, что с помощью этой же процедуры Ева может сделать ортогональными состояния в базисе <math>Y</math>. Доказательство этого утверждения здесь рассматриваться не будет, поскольку это требует достаточно громоздких вычислений, целесообразнее смотреть их в оригинальной статье. Таким образом, <math>|\pm y\rangle = \frac{1}{\sqrt2}\left(|0\rangle \pm i|1\rangle\right)</math>. Теперь, после соответствующих действий Евы, посылаемые состояния свелись к паре ортогональных состояний. После проведенных процедур фактически атака на протокол 4+2 полностью совпадает с атакой на BB84, которая была описана ранее.
Живучесть в оптоволокне
Одним из самых важных преимуществ перед двумя другими базовыми квантовыми протоколами BB84 и B92 является, так называемая, живучесть в смысле дальности или длины оптоволоконной линии. Квантовый протокол 4+2 остается секретным до длин квантового оптоволоконного канала связи <math>\thicksim150</math> км, в то время как критическая длина для протокола BB84 <math>\thicksim50</math> км, а для B92<math>\thicksim20</math> км.Шаблон:Sfn
Примечания
См. также
Литература
Книги
Научные статьи
