一个基于公钥密码学的数字签名方案被定义为一个算法三元组(Gen,Sig,Ver)，方案中共有两方参与：签名者Signer与验证者Verifier，请解释Signer发送消息m给Verifier后，Verifier如何验证消息是否为Signer所发？。