How Public-Key Encryption Works