aを電子署名方式formula_3に対する攻撃者とする。