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