TWC: Small: Collaborative: A Unifying Framework For Theoretical and Empirical Analysis of Secure Communication Protocols
TWC:小型:协作:安全通信协议理论和实证分析的统一框架
基本信息
- 批准号:1600266
- 负责人:
- 金额:$ 20.52万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2015
- 资助国家:美国
- 起止时间:2015-10-01 至 2017-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
许多网络协议在设计时没有考虑到安全性,许多加密方案在设计时没有考虑到实际部署。此外,大多数安全增强的通信协议仍然缺乏可证明安全的处理,从而缺乏安全保证。该项目旨在通过开发一种新的通用安全框架,促进实际网络协议的可证明安全性分析,弥合协议设计,实现,部署和安全保证之间的差距。该项目采用跨学科方法,因为它将应用密码学和算法的概念与实施和实证分析相结合,为研究和开发安全通信协议提供了一个统一的框架。 这种联合设计工作产生了新的加密基础和根本安全的网络协议。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Cristina Nita-Rotaru其他文献
Cristina Nita-Rotaru的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Cristina Nita-Rotaru', 18)}}的其他基金
CPS: Medium: Collaborative Research: Multiagent Physical Cognition and Control Synthesis Against Cyber Attacks
CPS:媒介:协作研究:针对网络攻击的多智能体物理认知和控制综合
- 批准号:
1931997 - 财政年份:2019
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Protocol Validation using Minimally Supervised Semantic Interpretation of Text
NeTS:小型:协作研究:使用文本的最小监督语义解释进行协议验证
- 批准号:
1815219 - 财政年份:2018
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
Proposal to Support Student Travel for the ACM CoNEXT 2016 Conference
支持学生参加 ACM CoNEXT 2016 会议的旅行提案
- 批准号:
1650886 - 财政年份:2016
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
EAGER: Improving Protocol Vulnerability Discovery via Semantic Interpretation of Textual Specifications
EAGER:通过文本规范的语义解释改进协议漏洞发现
- 批准号:
1654137 - 财政年份:2016
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
Student Travel Grants to attend the 5th Networking Networking Women Workshop (N^2Women)
学生旅费资助参加第五届网络女性网络研讨会(N^2女性)
- 批准号:
1653416 - 财政年份:2016
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Automatic Detection of Protocol Manipulation Attacks in Large Scale Distributed Systems Implementations
TWC:小型:大规模分布式系统实现中协议操纵攻击的自动检测
- 批准号:
1600280 - 财政年份:2015
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: A Unifying Framework For Theoretical and Empirical Analysis of Secure Communication Protocols
TWC:小型:协作:安全通信协议理论和实证分析的统一框架
- 批准号:
1421815 - 财政年份:2014
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Automatic Detection of Protocol Manipulation Attacks in Large Scale Distributed Systems Implementations
TWC:小型:大规模分布式系统实现中协议操纵攻击的自动检测
- 批准号:
1223834 - 财政年份:2012
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TC: Small: Collaborative Research: Mathematics of Infection Diffusion in Wireless Networks
TC:小型:协作研究:无线网络中感染扩散的数学
- 批准号:
0915655 - 财政年份:2009
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
NeTS: Medium: Collaborative Research: Secure Networking Using Network Coding
NeTS:媒介:协作研究:使用网络编码的安全网络
- 批准号:
0905266 - 财政年份:2009
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
TWC: Small: Collaborative: Automated Detection and Repair of Error Handling Bugs in SSL/TLS Implementations
TWC:小:协作:自动检测和修复 SSL/TLS 实现中的错误处理错误
- 批准号:
1946068 - 财政年份:2019
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Wearable Authentication Solutions for Ubiquitous and Personal Touch-enabled Devices
TWC:小型:协作:适用于无处不在的个人触摸设备的可穿戴身份验证解决方案
- 批准号:
1837518 - 财政年份:2018
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Towards Privacy Preserving Online Image Sharing
TWC:小型:协作:实现隐私保护在线图像共享
- 批准号:
1903714 - 财政年份:2018
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
SBE TWC: Small: Collaborative: Pocket Security - Smartphone Cybercrime in the Wild
SBE TWC:小型:协作:袖珍安全 - 智能手机野外网络犯罪
- 批准号:
1903219 - 财政年份:2018
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Secure Data Charging Architecture for Mobile Devices in 3G/4G Cellular Networks: Vulnerabilities and Solutions
TWC:小型:协作:3G/4G 蜂窝网络中移动设备的安全数据充电架构:漏洞和解决方案
- 批准号:
1753500 - 财政年份:2017
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Towards Privacy Preserving Online Image Sharing
TWC:小型:协作:实现隐私保护在线图像共享
- 批准号:
1814255 - 财政年份:2017
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Cellular Network Services in Peril: A Perspective on Control-Plane and Data-Plane Design
TWC:小型:协作:危险中的蜂窝网络服务:控制平面和数据平面设计的视角
- 批准号:
1749045 - 财政年份:2017
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Computation and Access Control on Big Multiuser Data
TWC:小型:协作:多用户大数据的计算和访问控制
- 批准号:
1633282 - 财政年份:2016
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Multi-Layer Approaches for Securing Enhanced AMI Networks against Traffic Analysis Attacks
TWC:小型:协作:保护增强型 AMI 网络免受流量分析攻击的多层方法
- 批准号:
1619250 - 财政年份:2016
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Practical Hardware-Assisted Always-On Malware Detection
TWC:小型:协作:实用的硬件辅助始终在线恶意软件检测
- 批准号:
1619322 - 财政年份:2016
- 资助金额:
$ 20.52万 - 项目类别:
Standard Grant