数字证书颁发机制是认证中心给合法用户颁发证书的过程.基于计算模型的通用可组合的安全证明框架研究的是复杂网络环境下一个挑战协议与其他协议的任意组合时的安全问题.平滑投影哈希函数是可证明安全协议构造中一个常用的密码学原语.基于这种原语,给出了一个通用可组合安全的DSA数字证书颁发机制.