Si por ejemplo X quiere mandar un mensaje M firmado a Y lo cifra usando formula_8 y lo manda al árbitro.