Cryptographic Protocols: Proofs and Designs

加密协议：证明和设计

• 批准号: DP0773348
• 负责人: Prof Colin Boyd
• 金额: $ 15.4万
• 依托单位: Queensland University of Technology
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2007
• 资助国家: 澳大利亚
• 起止时间: 2007-01-01 至 2010-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0773348
• 关键词: Cryptographic; Protocols; Proofs; Designs

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.

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