We develop an information-theoretic formalism to describe a quantum-cr
yptographically protected communication channel. We thereby establish
the fundamental limits on the security of the channel. This formalism
enables us to propose protocols that allow detection of an eavesdroppe
r by examination of data that would normally be discarded.