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

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

• 批准号: 1600266
• 负责人: Cristina Nita-Rotaru
• 金额: $ 20.52万
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-10-01 至 2017-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1600266&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.

许多网络协议的设计都没有考虑到安全性，许多加密方案的设计也没有考虑到实际部署。此外，大多数安全增强通信协议仍然缺乏可证明的安全处理，因此缺乏安全保证。该项目旨在通过开发一种新颖的通用安全框架来缩小协议设计、实现、部署和安全保证之间的差距，该框架有助于对实际网络协议进行可证明的安全性分析。该项目采用跨学科方法，将应用密码学和算法的概念与实施和实证分析相结合，为研究和开发安全通信协议提供统一的框架。 这种联合设计工作产生了新的加密基础和从根本上安全的网络协议。