А.С. Трушечкин. Доказательство стойкости протокола квантовой криптографии