PGP User's Guide, Volume I: Essential Topics -- What if you lose your secret key?