近年来,随着计算机网络和通信技术的飞速发展,特别是电子商务的兴起,使得数字签名技术得到了广泛的应用,数字签名是防止信息欺诈行为的重要保证。然而,对于如何解决数字签名、密文解密的授权问题却备受各国学者的高度关注,而代理密码学正是解决这类问题的最为强劲有力的技术之一。代理签名和代理密码系统是代理密码学研究的两个主要的部分。其中,代理签名主要对数字签名的授权问题进行研究,而代理密码系统主要对密文解密的授权问题进行研究。随着对代理密码系统研究的逐步深入,密码学专家也提出了一些在特殊场合具有应用的代理密码学方案。然而,就我们所知,对于代理密码学的形式化安全性研究还不够完善。本课题的目的是对具有特殊性质的代理签名和代理签密进行研究,包括进一步研究代理密码体制的形式化安全模型。并提出在随机预言模型或标准模型下可证安全的密码方案。