Stav dette: Provable security