Cryptographic Protocols: Proofs and Designs

密码协议是保护商业和工业所依赖的关键电子通信基础设施的基础。它们将越来越多地需要在新兴技术，如ad-hoc无线网络和传感器网络。该项目将提供设计具有数学安全保证的新的高效协议的能力。由此产生的实用协议将使所有需要信息安全的电子通信用户受益。这包括金融业、政府、商业和国内用户。

Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of electronic communications who require security for their information. This includes the financial industries, government, commerce and domestic users.