Definitions and Bounds for Self-Healing Key Distribution Schemes