Security Protocols in a Nutshell
Security of signed elgamal encryption