  A general mathematical framework for quantum key distribution based on the
concepts of quantum channel and Turing machine is suggested. The security for
its special case is proved. The assumption is that the adversary can perform
only individual (in essence, classical) attacks. For this case an advantage of
quantum key distribution over classical one is shown.
