Forward Secrecy Explained: Why Past Sessions Stay Safe if Keys Are Stolen