el-gamal_protocol.tex updated