Forward Secrecy Explained: How Past Sessions Stay Safe