Security and Practical Models for Quantum Key Distribution