试用形式化描述签名方案。
一个签名方案是一个5元组(M,A, K,S,V),满足如下的条件:(1) M是一个可能消息的有限集;(2) A是一个可能签名的有限集;(3) 密钥空间K是一个可能密钥的有限集;(4) 对每一个 =( , ) K,都对应一个签名算法Sig S和验证算法Ver V。每一个Sig : M A和Ver : M A {TRUE ,FALSE}是一个对每一个消息x M和每一个签名y A满足下列方程的函数:
Ver(x,y)=
对每一个 K,函数Sig 和Ver 都是为多项式时间可计算的函数。Ver 是一个公开函数, 称作公钥;而Sig 是一个秘密函数, 称作私钥,由用户秘密地保存。
