An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys