PGP User's Guide, Volume I: Essential Topics -- Key management commands: