Verification method, verification program, a recording medium, an information processing apparatus, an integrated circuit