甲和乙要进行通信，甲对发送的消息附加了数字签名，乙收到该消息后利用（）验证该消息的真实性。