随着社会和网络的迅速发展，通过网络进行传递信息已成为现代的主流，网络通信的安全问题成为人们越来越关注的重要问题之一。密码学技术是实现安全通信的最重要手段，因此现代密码学的应用已得到了广泛的重视。签密是一种具有特殊性质的密码技术，它能够在一个合理的逻辑步骤内同时完成数字签名和加密两项功能，而运算量和通信代价远远低于传统密码方法。该技术广泛的应用于通信安全协议中。随机预言机模型下能够构建出高效方案，然而随机预言机模型作为完全随机的理想模型，在现实中无法实现和构造的。因此如何在标准模型下构建可证明安全的签密方案成为当前主流的研究方向。本文深入系统的研究标准模型下可证安全具有特殊性质签密方案的设计和可证明安全性，具体包括：（1）利用双线性对，基于Waters签名和广义指定验证者签名技术，提出标准模型下可证安全的广义指定验证者签密方案。首先给出广义指定验证者签密的形式化定义和安全性模型，然后给出方案的具体构建，最后基于计算性Diffie-Hellman假设下在标准模型中证明该方案的安全性。分析表明，所提方案能够满足机密性、不可伪造性和不可转移性。和已有方案相比，减少了计算时间和运算量，提高了效率。（2）结合基于身份可净化签名与签密的思想，基于Waters签名技术，提出标准模型下可证安全的基于身份可净化签密方案。首先给出可净化签密的形式化定义和安全模型，然后给出方案的具体构建，最后基于计算性Diffie-Hellman假设下标准模型中证明所提方案的安全性。分析表明，所提方案满足所有基于身份可净化签密的安全性需求，具有较强的实用价值。