TWC: Small: Collaborative: A Unifying Framework For Theoretical and Empirical Analysis of Secure Communication Protocols

TWC：小型：协作：安全通信协议理论和实证分析的统一框架

• 批准号: 1421815
• 负责人: Cristina Nita-Rotaru
• 金额: $ 21.97万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-08-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1421815&HistoricalAwards=false
• 关键词: TWC; Small; Collaborative; Unifying; Framework

Many networking protocols have been designed without security in mind, and many cryptographic schemes have been designed without practical deployments in mind. Moreover, most of security-enhanced communication protocols still lack the provable-security treatment and hence the security guarantees. This project aims at bridging the gap between protocol design, implementation, deployment, and security guarantees by developing a novel general security framework that facilitates the provable-security analyses of practical networking protocols. The project has an interdisciplinary approach as it combines concepts from applied cryptography and algorithms with implementation and empirical analyses to provide a unifying framework for studying and developing secure communication protocols. This joint design effort yields both new cryptographic foundations and fundamentally secure networking protocols.

许多网络协议的设计都没有考虑到任何安全性，并且许多加密方案的设计没有实际部署。此外，大多数安全增强的通信协议仍然缺乏可证明的安全处理，因此安全保证。该项目旨在通过开发一个新颖的通用安全框架来促进实用网络协议的可证明的安全性分析，从而弥合协议设计，实施，部署和安全保证之间的差距。该项目具有跨学科的方法，因为它将应用加密和算法的概念与实施和经验分析相结合，以提供研究和开发安全的通信协议的统一框架。 这项联合设计工作既可以产生新的加密基础和从根本上安全的网络协议。