数字签名系统设计及验证